- Programming Language: Standard ML ×
Showing page 1 of 1.
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.1 weekly downloads
A framework for generation of real-time numerical simulations of dynamical systems from differential and difference equations.0 weekly downloads
The Pi Markup Language (PiML) aims at providing an XML based representation format for the description of models encoded in the Pi Calculus. The XML representation of such Pi Calculus models should support model storage, exchange, and coupling.0 weekly downloads
OpenDizzy is a tool for stochastic and deterministic simulation of chemical reactions.0 weekly downloads