The Glasgow Symmetry Reduction tools are a suite of software tools providing symmetry reduction for the SPIN and PRISM model checkers. The main tools are TopSPIN and GRIP. The suite also includes Etch, and enhanced type checker for Promela.

Project Activity

See All Activity >

Categories

Testing

Follow Glasgow Symmetry Reduction Tools

Glasgow Symmetry Reduction Tools Web Site

Other Useful Business Software

ManageEngine Now Lets You Patch Computers From Cloud Icon
ManageEngine Now Lets You Patch Computers From Cloud Icon

ManageEngine Patch Manager Plus offers patching capabilities on cloud - Patch all OS updates and 550 third party apps on-demand and stay secure!

Last year saw the hackers unleash their expertise in skills for a ransom - targeting those unpatched computers in data-critical institutions. Only if the computers were patched on time, billions of dollars could have been saved. ManageEngine’s Patch Manager Plus comes to your rescue, offering you an automated patching solution, now on cloud, for latest hotfixes of Windows updates and a wide range of third-party applications (over 550 of them).
Automate patching with Patch Manager Plus, sit back & relax!
Try FREE Trial

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of Glasgow Symmetry Reduction Tools!

Additional Project Details

Intended Audience

Science/Research, Education, Developers

User Interface

Command-line

Programming Language

Perl, Java

Registered

2007-03-21