Verification
Blog Posts
Assuring Cyber-Physical Systems in an Age of Rising Autonomy
This post discusses research by the SEI and Georgia Tech to address a number of challenges related to the rising volume of sensor data in autonomous cyber-physical systems.
• By Jerome Hugues
In Cyber-Physical Systems
Verifying Software with Timers and Clocks (STACs)
Discover exploratory research to formally verify safety properties of sequential and concurrent STACs at the source-code level in this SEI Blog.
• By Sagar Chaki, Dionisio de Niz
Verifying Distributed Adaptive Real-Time Systems
This SEI Blog post explores high-assurance software in DART systems, and outlines the SEI's approach to meet safety requirements in dynamic environments.
• By James Edmondson, Sagar Chaki
In Artificial Intelligence Engineering
Verifying Evolving Software
This SEI Blog post explores the challenges of verifying evolving software and presents research efforts aimed at improving verification techniques and tools.
• By Arie Gurfinkel
