wiki:news_2007

Version 9 (modified by Dr. Ivan S. Zapreev, 11 years ago) (diff)

--

TracNav?

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

MRMC News

Recent news of 2008


News archive of 2007

29.11.2007

On 12 Nov 2007, at the last VOSS2 project meeting, Joost-Pieter Katoen gave a talk about the latest development of MRMC. The presentation slides can be found here PDF.

23.11.2007

The paper "How Fast and Fat Is Your Probabilistic Model Checker?" PDF was presented at HVC'07 conference, see BibTex for the reference. The presentation slides can be found here PPT.

03.09.2007

This web-site now features an MRMC downloads counter, see the banner at the top of the page.

27.08.2007

MRMC web-site now conforms to the Transitional XHTML 1.0 standard.

24.08.2007

A news-subscription option was added to the download form of MRMC.

21.08.2007

Our paper, named "How Fast and Fat Is Your Probabilistic Model Checker?" was accepted at HVC'07 conference, see: PDF BibTex

21.08.2007

The New MRMC Version (1.2.2) is now available! This release contains but is not limited by the following features:

  • The support of Mac OS X and Windows + Cygwin platform.
  • Gauss-Seidel algorithm for solving systems of linear equations was added for unbounded-until operator (CSL, PCTL).
  • A non-recursive method for searching Bottom Strongly Connected Components was added.
  • New MRMC is up to two times faster (CSL, PCTL).
  • The test-suite update.

For more details check out the READ.ME file in the root of the distribution's directory tree.

20.08.2007

The new release of MRMC (version 1.2.2) is scheduled to be released within the upcoming two weeks. It will feature the support of Mac OS X and Windows + Cygwin platforms. Among other improvements, new algorithms for graph analysis and solving systems of linear equations were added, the tool performance has been significantly improved, and several important bugs were fixed.

27.07.2007

Varun Aggarwala has left back to India, we wish him a pleasant flight!

24.05.2007

Varun Aggarwala has started working on implementing the simulation relations on Markov Chains into MRMC. He is an internship student from CSE Dept. IIT Guwahati, India.

11.05.2007

Marcel Oldenkamp has brightly defended his Master thesis Probabilistic model checking, A comparison of tools. at the University of Twente, The Netherlands. Marcel has gotten 9, congratulations!

09.05.2007

The upcoming micro-release of MRMC will feature the support of the Mac OS X platform.

09.05.2007

The scheme of the MRMC architecture, on the Index title page of the web-site, has been updated. It can be also reached via this LINK.

20.04.2007

On 10.05.2006 Marcel Oldenkamp defends his Master thesis "Probabilistic model checking, A comparison of tools." at the University of Twente, The Netherlands.

17.04.2007

Starting from 01.05.2006 Christina Jansen begins to work as a scientific programmer (HiWi?) in the MRMC project.

04.04.2007

The preliminary results of Marcel Oldenkamp's master-thesis research, titled: "Probabilistic model checking, A comparison of tools." can be found here LINK.

04.04.2007

The master thesis of Tim Kemna, titled: "Bisimulation Minimization and Probabilistic Model Checking." can be found here PDF.

28.03.2007

The paper "Bisimulation minimization mostly speeds up probabilistic model checking" PDF was presented at TACAS'07 conference, see BibTex for the reference.

The presentation slides can be found here PPT.

09.01.2007

The New MRMC Version (1.2.1) is now available! This release contains but is not limited by the following features:

  • Minor Algorithmic improvements.
  • Interface-usability improvements.
  • Bug-fixes, memory-leaks elimination.
  • Test suite update, with new memory-usage statistics.
  • Source-code refinement.

For more details check out the READ.ME file in the root of the distribution's directory tree.


News archive of 2006


News archive of 2005