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.

Project Activity

See All Activity >

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow Seymour

Seymour Web Site

Other Useful Business Software
Streamline Azure Security with Palo Alto Networks VM-Series Icon
Streamline Azure Security with Palo Alto Networks VM-Series

Centrally manage physical and virtualized firewalls with Panorama

Improve your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
Learn more
Rate This Project
Login To Rate This Project

User Ratings

★★★★★
★★★★
★★★
★★
1
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

  • Thanks for Seymoursys, it's good!
    1 user found this review helpful.
Read more reviews >

Additional Project Details

Intended Audience

Customer Service, Education

Programming Language

Perl, Standard ML

Related Categories

Perl Simulation Software, Perl Mathematics Software, Standard ML Simulation Software, Standard ML Mathematics Software

Registered

2008-08-01