Model Checking
Blog Posts
Don’t Wait for ROI on Model-Based Analysis for Embedded Computing Resources
This SEI Blog post examines the design and implementation of embedded computing resources for CPS, the complexities of which drive the need for model building.
• By Alfred Schenker, Jerome Hugues
In Cyber-Physical Systems
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
Regression Verification for Real-time Embedded Software Systems
The DoD relies heavily on mission- and safety-critical real-time embedded software systems (RTESs), which play a crucial role in controlling systems ranging from airplanes and cars to infusion pumps and …
• By Arie Gurfinkel