Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
Summary: Review Request: blast - Berkeley Lazy Abstraction Software Verification Tool https://bugzilla.redhat.com/show_bug.cgi?id=555162 Summary: Review Request: blast - Berkeley Lazy Abstraction Software Verification Tool Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: medium Component: Package Review AssignedTo: [email protected] ReportedBy: [email protected] QAContact: [email protected] CC: [email protected], [email protected] Estimated Hours: 0.0 Classification: Fedora Spec URL: http://jjames.fedorapeople.org/blast/blast.spec SRPM URL: http://jjames.fedorapeople.org/blast/blast-2.5-1.fc12.src.rpm 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. -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ package-review mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-review
