/jstar-eclipse

The jStar Eclipse Plug-in

Primary LanguageJavaOtherNOASSERTION

The jStar Eclipse Plug-in
=============================

There is a tutorial for the plugin:
   doc/jstar eclipse tutorial/jstar eclipse tutorial.pdf

For more information, see http://www.jstarverifier.org