Software

From vecolib

Revision as of 18:39, 19 February 2016 by Iosif (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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: a solver for Separation Logic with Inductive Definitions
SPEN: a solver for Separation Logic Entailments
CELIA: a tool-set for static analysis and verification of programs with dynamic memory
Frama-C: a platform dedicated to source-code analysis of C software

Retrieved from "http://vecolib.imag.fr/index.php?title=Software&oldid=10318"