Introducing BLAST Software Verification John Gallagher CS4117 What is BLAST? The Berkeley Lazy Abstraction Software-verification Tool is a model checker that checks ...
0
Embed
Share
Upload
