Software

From vecolib
Revision as of 17:15, 10 December 2014 by Iosif (Talk | contribs) (Protected "Software" ([Edit=Allow only autoconfirmed users] (indefinite) [Move=Allow only autoconfirmed users] (indefinite)))

Jump to: navigation, search
  • SLIDE: a solver for Separation Logic with Inductive Definitions
  • SPEN: a solver for Separation Logic Entailments