BLAST

Name: BLAST
Works on: windows

Windows 7 and above

Developer: Dirk Beyer

Version: 2.5
Last Updated: 26 Feb 2017
Release: 12 Feb 2010
Category: Programming > Other Programming Files

Rate this software:
306 downloads

Comments

Download

Liked it? Tell others:

BLAST Tags

software model checker Software Verification Tool software checker model checker software verification check verifier

BLAST Details

Works on: Windows 10 | Windows 8.1 | Windows 8 | Windows 7 | Windows 2012
SHA1 Hash: d341f68ebeb41c04d47181d7f360d9d7f7645e50
Size: 3.67 MB
File Format: zip

Rating: 2.130434782 out of 5 based on 23 user ratings

Downloads: 306
License: Free

BLAST is a free software by Dirk Beyer and works on Windows 10, Windows 8.1, Windows 8, Windows 7, Windows 2012.
You can download BLAST which is 3.67 MB in size and belongs to the software category Other Programming Files.
BLAST was released on 2010-02-12 and last updated on our database on 2017-02-26 and is currently at version 2.5.

Thank you for downloading from SoftPaz! Your download should start any moment now. It would be great if you could rate and share:

Rate this software:
Share in your network:

BLAST Description

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 its all about!

Similar Software