Close menu
-
Windows Apps
-
Wordpress
-
Linux Apps
-
MAC Apps
0 Reviews
FREE
License
PAID
Version
BLAST 2.5
LatestUpdate
Last updated
OS
Language
EN
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!
No reviews found
SoftPas is a platform that provides you with the latest software and technology news, reviews, and guides. We also provide you with the latest software and technology trends.
Subscribe to newsletter
© Copyright 2024, All Rights Reserved by SoftPas
