SpeeDI

Submitted by akarns on Mon, 05/08/2017 - 11:51am

SPeeDI

Description: The SPeeDI tool is a collection of utilities used to manipulate and reason mechanically about SPDIs, completely implemented in 5000 lines of Haskell, a general-purpose, lazy, functional language.

VO Integration: No

Active: No

Available Benchmarks: No

Website: http://www.cs.um.edu.mt/~svrg/Tools/SPeeDI/index.html

Download: See webpage for links.

Documentation: See webpage for instructions.

Contact: Gordon J. Pace

Excerpt from: http://www.cs.um.edu.mt/~svrg/Tools/SPeeDI/index.html

Backlinks:

Verification Tools Main Wiki Page

PDF version
Printer-friendly version

Validation and Verification
Tool
Free
Own interface
Own language
Linux
Mac OS X
Windows
Polygonal Hybrid Systems
Simple Planar Differential Inclusions
Guaranteed to terminate
Model checking