Verification
Blog Posts
Verifying Software with Timers and Clocks (STACs)
Software with timers and clocks (STACs) exchange clock values to set timers and perform computation. STACs are key elements of safety-critical systems that make up the infrastructure of our daily …
• By Sagar Chaki, Dionisio de Niz


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
