Changes between Version 1 and Version 2 of Specifications


Ignore:
Timestamp:
Jun 17, 2008, 5:35:00 PM (10 years ago)
Author:
Christina Jansen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Specifications

    v1 v2  
    11
    22== MRMC Specifications ==
     3
     4Here you will find all kinds of specifications and documents related to MRMC.
     5
     6== Documentation: ==
     7 * The MRMC interface:
     8  * Version 1.2.2 [attachment:Documentation_1.2.2.txt TXT]
     9  * Version 1.2.1 [attachment:Documentation_1.2.1.txt TXT]
     10  * Version 1.2 [attachment:Documentation_1.2.txt TXT]
     11 * Wikipedia and MRMC:
     12  * The Wikipedia page. [http://en.wikipedia.org/wiki/Markov_Reward_Model_Checker_(MRMC) LINK]
     13  * The Wikipedia discussion page. [http://en.wikipedia.org/wiki/Talk:Markov_Reward_Model_Checker_(MRMC) LINK]
     14
     15== Presentations: ==
     16 * Markov Reward Model Checker, VOSS-II final meeting. [attachment:VOSS_2007_11_12.pdf PDF]
     17 * How Fast and Fat Is Your Probabilistic Model Checker? [PPS]
     18 * Bisimulation minimisation mostly speeds up probabilistic model checking. [PDF]
     19 * Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. [PDF]
     20 * A Markov Reward Model Checker. [PDF]
     21 * ETMCC v2.0 (MRMC), VOSS-II kick off meeting. [PDF]
     22
     23== Posters: ==
     24 * Tag der Informatik'06 at RWTH-Aachen. [JPG], [PNG]
     25
     26'''Note''': This page is constantly under construction, more documents will be coming here.
     27