Tools
| Tool |
Short description |
Maintainer |
List of tools and provided software
| ABS tool chain |
abstract behavioral modelling language tool suite |
Einar Broch Johnsen |
| Real-Time Maude |
real-time extension to the Maude analyser and rewrite platform |
Peter Csaba Ölveczky |
| PSMaude |
probabilistic strategy language for Maude |
Lucian Bentea |
Tags:
PSMaude,
probabilistic analysis,
tools,
ABS language,
modelling language,
Real-Time Maude,
Maude,
behavioral modelling
Published Feb. 19, 2014 10:44 AM
- Last modified Feb. 19, 2014 11:12 AM