BLAST (Berkeley Lazy Abstraction Softwareverification Tool) is a static softwareverification tool ... such verification in the Linux Driver Verification project. You may download source code or binary ... components it relies on are free software. The BLAST itself is released under Apache...