Changes between Version 19 and Version 20 of WikiStart


Ignore:
Timestamp:
Jun 18, 2008, 5:08:38 PM (10 years ago)
Author:
Dr. Ivan S. Zapreev
Comment:

The less the better :-D

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v19 v20  
    1212== What is MRMC? ==
    1313
    14 MRMC is a model checker for:
     14[[Image(mrmc_cmd.jpg, border=1, align=right, 30%)]]
     15
     16MRMC is a command-line model checker for:
    1517 * Discrete time Markov chains (DTMCs),
    1618 * Continuous time Markov chains (CTMCs),
     
    1921 * Continuous time Markov decision processes (CTMDPIs1).
    2022
    21 Hence, MRMC supports:
     23The tool is written in C and supports verification of:
    2224 * Probabilistic Computation Tree Logic (PCTL),
    2325 * Continuous Stochastic Logic (CSL),
     
    3032Simulation.
    3133
    32 ----
    33 
    34 == A Command-line tool ==
    35 
    36 [[Image(mrmc_cmd.jpg, border=1, align=right, 20%)]]
    37 
    38 MRMC is a command-line tool written in C-language. This allows
    39 MRMC to be small and fast. Currently, the supported platforms are:
     34MRMC is available for the following platforms:
    4035
    4136 * Windows,
     
    4540The tool is distributed under the [http://www.gnu.org/licenses/gpl.html GNU General Public License (GPL)].
    4641
    47 An example of the tool usage can be found on the righ:
     42An example of the tool usage can be found above.
    4843
    4944----