Windows · Free download · General
BLAST2.5
BLAST : Berkeley Lazy Abstraction Software Verification Tool
- Operating system
- Windows 10/11
- File size
- 3.5 MB
- License
- Freeware
- Last updated
- Apr 29, 2026
79 downloads·581 page views
Sponsored
Overview
What is BLAST?
BLAST : Berkeley Lazy Abstraction Software Verification Tool
In depth
A closer look at BLAST
BLAST is a software model checker for C programs. The goal of BLAST is to be able to check that software satisfies behavioral properties of the interfaces it uses. BLAST uses counterexample-driven automatic abstraction refinement to construct an abstract model which is model checked for safety properties. The abstraction is constructed on-the-fly, and only to the required precision. Give BLAST a try to see what it's all about!
Verdict
Should you download BLAST?
BLAST runs on Windows 10/11 and is available under the Freeware license — the installer is 3.5 MB. We’ve catalogued it under General.
Verified clean. Every BLAST build on SoftLookup is scanned for viruses, spyware, adware, trojans and backdoors. We re-test on every update.
Sponsored
At a glance
BLAST specifications
- Category
- General
- Publisher
- Dirk Beyer
- Last updated
- Apr 29, 2026
- License
- Freeware
- Operating system
- Windows 10/11
- File size
- 3.5 MB
- Price
- Free
- Page views
- 581
Leave a comment
Help fellow users decide. Share your experience with BLAST.