ESpin, a SPIN-based model checking plugin upon Eclipse. The editor has full support of the syntax rules of Promela, and also provides the function of real-time syntax feedback, keywords highlight, outline view, code folding, hinting and completion, greatly improving the modeling efficiency of complex models. Additionally, ESpin provides multiple operation mode and unique configuration interfaces, which simplifies the operation process of SPIN.
Follow ESpin
You Might Also Like
Frazer provides full-featured used car dealer software to independent auto dealers. Frazer's goals have always been simple– to provide dealers with a high-quality, easy-to-use Dealer Management System, at an affordable price, while ensuring that a friendly, knowledgeable support staff is there to back it up. Request a free trial to see what everyone in the automotive industry is talking about.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of ESpin!