About Site Map Submit Contact Us Log in | Create an account
Create an account Log In
Average Rating
User Rating:
Visitors Rating:
My rating:

Write review
  • License: Freeware
  • Last update: 7 years ago
  • Total downloads: 162
  • Price: Free |
  • Operating system: Win All
  • Publisher: Dirk Beyer (1 other programs)
See full specifications

windows default iconBLAST Publisher's description

Berkeley Lazy Abstraction Software Verification Tool

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!

System Requirements:

No special requirements.
Program Release Status:
Program Install Support: Install and Uninstall

Is BLAST your software?

Manage your software

Most Popular

windows default icon WinAVR 20100110
WinAVR is a suite of executable, open source software development tools for the Atmel AVR series of RISC... Read more
windows default icon SQL-Front
SQL-Front MySQL GUI for database changes, data editing, SQL queries and more
windows default icon xVideo 1.2.1
xVideo is a Directshow wrapper that will help it’s users create multimedia applicationsIt’s
windows default icon Red Gate's .NET Reflector
Explore, browse, and analyze .NET assemblies

Related Category

» Active X (462)
» C & C++ & C# (244)
» Debugging (132)
» Delphi (191)
» Help Tools (211)
» Install & Setup (161)
» Other (1286)
» Source Editors (201)