Select a category to explore research frontiers
Loading categories...
Development of automated formal methods, theorem proving techniques, and lightweight runtime monitors to guarantee correctness and safety properties in mission-critical embedded applications including aerospace and medical devices.