Version 5 (modified by 11 years ago) (diff) | ,
---|
MRMC News
Recent news of 2008
News archive of 2007
News archive of 2006
News archive of 2005
15.11.2005
The MRMC is now the first tool that incorporates "Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability"!
30.09.2005
The beta version of MRMC is available for Linux platform. In order to obtain it please e-mail us at mrmc[at]cs.utwente.nl.
23.09.2005
There was a paper publication at QEST'05 Conference on the MRMC tool, see BibTex for details.