Difference between revisions of "Software"

From vecolib
Jump to: navigation, search
m (Protected "Software" ([Edit=Allow only autoconfirmed users] (indefinite) [Move=Allow only autoconfirmed users] (indefinite)))
Line 1: Line 1:
 
* [http://www.fit.vutbr.cz/research/groups/verifit/tools/slide/ SLIDE]: a solver for Separation Logic with Inductive Definitions
 
* [http://www.fit.vutbr.cz/research/groups/verifit/tools/slide/ SLIDE]: a solver for Separation Logic with Inductive Definitions
 
* [http://www.liafa.univ-paris-diderot.fr/spen/ SPEN]: a solver for Separation Logic Entailments
 
* [http://www.liafa.univ-paris-diderot.fr/spen/ SPEN]: a solver for Separation Logic Entailments
 +
* [http://www.liafa.univ-paris-diderot.fr/celia/ CELIA]: a tool-set for static analysis and verification of programs with dynamic memory
 +
* [http://frama-c.com/ Frama-C]: a platform dedicated to source-code analysis of C software

Revision as of 09:31, 15 January 2015

  • 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