wiki:news_2005

Version 6 (modified by Dr. Ivan S. Zapreev, 10 years ago) (diff)

Added a nice picture

TracNav?

http://www.mrmc-tool.org/images/news.gif

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.