Changes between Version 11 and Version 12 of WikiStart


Ignore:
Timestamp:
Jun 18, 2008, 12:40:43 PM (11 years ago)
Author:
Viet Yen Nguyen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v11 v12  
    22
    33= Welcome to the Markov Reward Model Checker =
    4 
     4A tool developed at the Formal Methods Group, University of Twente and Software Modeling and Verification group at RWTH Aachen University.
    55[[PageOutline(2-3, Content:, inline)]]
    66