Blog Posts
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
Regression Verification of Real-time Embedded Software
Continuous technological improvement is the hallmark of the hardware industry. In an ideal world--one without budgets or schedules--software would be redesigned and redeveloped from scratch to leverage each such improvement. …