Software

From vecolib
Revision as of 16:51, 10 December 2014 by Iosif (Talk | contribs)

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