Linux · Free download · Amusement
Blast
BLAST : Berkeley Lazy Abstraction Software Verification Tool
- Operating system
- Linux
- File size
- 3.5 MB
- License
- Freeware
- Last updated
- Feb 24, 2025
261 downloads·625 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 Linux and is available under the Freeware license — the installer is 3.5 MB. We’ve catalogued it under Amusement.
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
- Amusement
- Publisher
- 133.186.1.15
- Last updated
- Feb 24, 2025
- License
- Freeware
- Operating system
- Linux
- File size
- 3.5 MB
- Price
- Free
- Page views
- 625
Leave a comment
Help fellow users decide. Share your experience with Blast.