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