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.
• By Justin Smith
In Agile
![Headshot of Justin Smith](/media/images/thumb_mid_j-smith_blog_authors_.max-180x180.format-webp.webp)
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
![Headshot of Jerome Hugues](/media/images/thumb_big_j-hugues_blog_authors.max-180x180.format-webp.webp)
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
![Sagar Chaki](/media/images/thumb_big_s-chaki_blog_authors_.max-180x180.format-webp.webp)
![Dionisio de Niz](/media/images/thumb_big_d-deniz_blog_authors_.max-180x180.format-webp.webp)
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
![James Edmondson](/media/images/thumb_big_j-edmondson_blog_auth.max-180x180.format-webp.webp)
![Sagar Chaki](/media/images/thumb_big_s-chaki_blog_authors_.max-180x180.format-webp.webp)
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
![Arie Gurfinkel](/media/images/thumb_big_a-gurfinkel_blog_auth.max-180x180.format-webp.webp)