seymour

We have hosted the application seymour in order to run this application in our online workstations with Wine or directly.

Quick description about seymour:

A collection of modeling tools for system comprehension.
Includes
1) DEMOS2K - a semantically justified version of DEMOS
2) SAVANT - a tool for evaluating system availability
3) GOLDSTAR - an arbitrary reward calculation system.

Audience: Customer Service, Education.

Programming Language: Perl, Standard ML.
Categories: