Using BLAST - Columbia University

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