From Numerical Transition Systems
Jump to: navigation, search
  • CVC4SepLog SMT solver for quantifier-free ground Separation Logic over unrestricted data theories
  • all_included a tool for checking trace inclusion between infinite state systems
  • SLIDE an entailment checker for Separation Logic with Inductive DEfinitions
  • FLATA a tool for the analysis of counter automata
  • ARTMC a tool for the verification of programs with complex pointer structures
  • L2CA converts programs with lists into counter automata
  • dSPIN an extension of the model checker SPIN
  • BANDERA project home page
  • JCAT a deadlock detection tool for Java(TM) multithreading programs
  • JSUIF a program internal representation support library entirely written in Java