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)))
(No difference)

Revision as of 17:15, 10 December 2014

  • SLIDE: a solver for Separation Logic with Inductive Definitions
  • SPEN: a solver for Separation Logic Entailments