OCaml 15 8

corestar

forked from MatkoBotincan/corestar-old

coreStar is a symbolic execution engine for analysis and verification with separation logic

Updated May 6, 2016

OCaml 8 3

jstar

forked from septract/jstar-old

jStar is a verification tool based on separation logic.

Updated Apr 11, 2016

Java 2 4

jstar-eclipse

The jStar Eclipse Plug-in

Updated Jul 6, 2012

0 People

This organization has no public members. You must be a member to see who’s a part of this organization.