Follow
Publications: 27 | Followers: 0

Using BLAST - Columbia University

Publish on Category: All 7

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

Make amazing presentation for free
Using BLAST - Columbia University