Model Checking
Blog Posts
Verifying Distributed Adaptive Real-Time Systems
In 2011, the U.S. Government maintained a fleet of approximately 8,000 unmanned aerial systems (UAS), commonly referred to as "drones," a number that continues to grow. "No weapon system has …
• By James Edmondson, Sagar Chaki
In Artificial Intelligence Engineering
Verifying Evolving Software
When we verify a software program, we increase our confidence in its trustworthiness. We can be confident that the program will behave as it should and meet the requirements it …
• 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