Changes between Version 25 and Version 26 of WikiStart


Ignore:
Timestamp:
Jun 19, 2008, 9:32:32 AM (10 years ago)
Author:
Dr. Ivan S. Zapreev
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v25 v26  
    11[[TracNav]]
    22
    3 = Welcome to the MRMC home page =
     3= What is MRMC? =
    44
    5 '''MRMC is a command-line model checker for:'''
     5'''MRMC is a model checker for:'''
    66 * Discrete time Markov chains (DTMCs),
    77 * Continuous time Markov chains (CTMCs),
     
    1010 * Continuous time Markov decision processes (CTMDPIs).
    1111
    12 '''The tool is written in C and supports verification of:'''
     12'''The tool supports verification of:'''
    1313 * Probabilistic Computation Tree Logic (PCTL),
    1414 * Continuous Stochastic Logic (CSL),
     
    1616 * Continuous Stochastic Reward Logic (CSRL).
    1717
    18 MRMC allows for numerical model checking on all types of
    19 input models. In addition, verification of CSL properties
    20 on CTMCs can be done using model checking by Discrete Event
    21 Simulation.
     18'''MRMC allows for:''
     19
     20  * Numerical model checking on all types of input models,
     21  * Model checking by Discrete Event Simulation on CTMCs,
     22  * Formula-dependent and formula-independent bisimulation.
    2223
    2324[[Image(mrmc_cmd.jpg, border=1, align=right, 30%)]]
    2425
    25 '''MRMC is available for the following platforms:'''
    26 
     26MRMC is a command-line tool, written in C. It is available for:
    2727 * Windows,
    2828 * Linux,
    29  * Mac OS X.
     29 * and Mac OS X
     30platforms. The tool is distributed under the [http://www.gnu.org/licenses/gpl.html GPL License].
    3031
    31 The tool is distributed under the [http://www.gnu.org/licenses/gpl.html GPL License]. An example of the tool usage can be found on the right. If you are looking
     32An example of the tool usage can be found on the right. If you are looking
    3233for detailed information about MRMC, consider reading the [wiki:Specifications MRMC Manual].
    3334