InfoQ Homepage Verification Content on InfoQ
Presentations
RSS Feed-
How to Find Resilience Bugs in Systems that Don't Exist
Hillel Wayne explains how formal methods principles - like properties, verification, and environments - help software engineers uncover subtle concurrency bugs and architectural flaws early.
-
The Verification of a Distributed System
Caitie McCaffrey discusses the strategies for proving a correct system and less strenuous methods of testing, which can help increase our confidence that a system is doing the right thing.