Software

From vecolib
Revision as of 09:31, 15 January 2015 by Sighireanu (Talk | contribs)

Jump to: navigation, search
  • 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