Verification
Blog Posts
Incorporating Agile Principles into Independent Verification and Validation
This post discusses how Agile principles can work with independent verification and validation processes.
Read More•By Justin Smith
In Agile
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.
Read More•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.
Read More•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.
Read More•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.
Read More•By Arie Gurfinkel
