InfoQ Homepage Verification Content on InfoQ
Presentations
RSS Feed-
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.
/presentations/distributed-systems-verification/en/mediumimage/Catbig.JPG)