BACH: Bounded reAchablity CHecker
Introduction Download Case Studies SnapShots BACH Team

Download

We have implemented a series of versions for BACH.

 

Download BACH 5.0, (C++, Latest SAT-LP layered BMC plus unbounded proof under certain condition)

Download BACH2.1 (JAVA, DFS+lightweight LP, without IIS)

Download BACH Online

BACH (Eclipse Plug-in)

BACH-SAT (for single LHA, SAT+heavyweight LP, with IIS, require IBM CPLEX to be installed)

BACH-DFS (for single LHA, DFS+heavyweight LP, with IIS, require IBM CPLEX to be installed)

BACH 4.0 (for single LHA, a special editon with bidirectional DFS, with IIS, require IBM CPLEX to be installed)

BACH 3.0, Checker with new underlying LP Solver

BACH 2.0, Compositional checker with old GUI

BACH 1.0, Checker for single LHA

BACH EP, Eclipse plugin version of BACH 1.0

Path-oriented checker for compositional LHA systems.

Path-oriented checker for single LHA.

If you want to download the old versions, please contact the author Lei Bu.

 


©2009 SEG CS NJU IntroductionDownloadCaseStudiesSnapShots