archgrove / corestar Goto Github PK
View Code? Open in Web Editor NEWThis project forked from seplogic/corestar
coreStar is a symbolic execution engine for analysis and verification with separation logic
Home Page: http://www.jstarverifier.org/
License: Other