ESpin Icon

ESpin

beta

SPIN-based Eclipse Model Checking Plugin

Add a Review
1 Download (This Week)
Last Update:
Download cn.edu.nuaa.ESpin_1.0.0.201207180004.zip
Browse All Files
Windows

Screenshots

Description

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.

ESpin Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of ESpin!

Additional Project Details

Languages

English

Intended Audience

Security Professionals, Testers, Quality Engineers

User Interface

Eclipse

Programming Language

Java

Registered

2012-07-16
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.