User Tools

Site Tools


software
Name Description Maintainer
CBMC Bounded model checker Daniel
DeltaCheck Differential program analyser Daniel
EBMC Hardware bounded model checking Daniel
HW-CBMC HW/SW Co-verification with BMC Daniel
SATABS Predicate abstraction Daniel
IMPARA IMPACT-style analysis for concurrent software Björn
TAN Termination analysis
Loopfrog Loop summaries
Scoot SystemC modeling Marcelo
AI Abstract interpretation Leopold
Boppo Boolean program model checker
Boom Boolean program model checker
software.txt · Last modified: 2014/03/11 21:53 by mbrain