Changes between Version 18 and Version 19 of WikiStart


Ignore:
Timestamp:
Jun 18, 2008, 5:01:12 PM (11 years ago)
Author:
Dr. Ivan S. Zapreev
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v18 v19  
    11[[TracNav]]
    22
    3 = Welcome to the Markov Reward Model Checker =
    4 
    5 A tool developed at the Formal Methods Group, University
    6 of Twente and Software Modeling and Verification group at
    7 RWTH Aachen University.
     3= Welcome to the MRMC home page =
    84
    95If you are looking for detailed information about MRMC,