Changes between Version 23 and Version 24 of WikiStart


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

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v23 v24  
    33= Welcome to the MRMC home page =
    44
    5 MRMC is a command-line model checker for:
     5'''MRMC is a command-line 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 is written in C and supports verification of:'''
    1313 * Probabilistic Computation Tree Logic (PCTL),
    1414 * Continuous Stochastic Logic (CSL),
     
    2323[[Image(mrmc_cmd.jpg, border=1, align=right, 30%)]]
    2424
    25 MRMC is available for the following platforms:
     25'''MRMC is available for the following platforms:'''
    2626
    2727 * Windows,