Follow
( Publications: 27 | Followers: 0 )

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 ...

Publish on Category: All 7

0

Embed

Share

Upload

Using BLAST - Columbia University