There is a tutorial for the plugin: doc/jstar eclipse tutorial/jstar eclipse tutorial.pdf
For more information, see http://www.jstarverifier.org
This repository contains information related to the tool jStar-Eclipse presented in Foundations of Software Engineering, 2011. The tool was originally presented in this paper.
This repository IS NOT the original repository for this tool. Here are some links to the original project:
In this repository, for jStar-Eclipse you will find:
- ✅ Source code (available here
- ✅ The original tool (available here)
- ✅ Binaries (available here)
- ✅ Virtual machine containing tool
This repository was constructed by Sumeet Agarwal under the supervision of Dr. Emerson Murphy-Hill.
Thanks to Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore and Matthew Parkinson for their help in establishing this repository.