wiki:news_2005

Version 2 (modified by Christina Jansen, 11 years ago) (diff)

--

TracNav?

MRMC News

MRMC-News Mailing list

To subscribe, e-mail: subscribe mrmc-news in the message body to:

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.