Changes between Version 21 and Version 22 of WikiStart


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

Damn, may be this is too concise but this is what people need to know at first.

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v21 v22  
    22
    33= Welcome to the MRMC home page =
    4 
    5 If you are looking for detailed information about MRMC,
    6 see [wiki:Specifications MRMC Manual].
    7 
    8 [[PageOutline(2-3, Content:, inline)]]
    9 
    10 ----
    11 
    12 == What is MRMC? ==
    13 
    14 [[Image(mrmc_cmd.jpg, border=1, align=right, 30%)]]
    154
    165MRMC is a command-line model checker for:
    … …  
    3221Simulation.
    3322
     23[[Image(mrmc_cmd.jpg, border=1, align=right, 30%)]]
     24
    3425MRMC is available for the following platforms:
    3526
    … …  
    3829 * Mac OS X.
    3930
    40 The tool is distributed under the [http://www.gnu.org/licenses/gpl.html GNU General Public License (GPL)].
    41 
    42 An example of the tool usage can be found above.
     31The tool is distributed under the [http://www.gnu.org/licenses/gpl.html GPL License]. An example of the tool usage can be found above. If you are looking
     32for detailed information about MRMC, consider reading the [wiki:Specifications MRMC Manual].
    4333
    4434----
    45 
    46 == Getting MRMC models ==
    47 
    48 MRMC models can be generated using [http://www.prismmodelchecker.org/ Prism],
    49 starting from the version 3.0.
    50 
    51 ----
    52 
    53 == ETMCC as a predecessor ==
    54 
    55 MRMC was inspired by a well known tool called [http://www7.informatik.uni-erlangen.de/etmcc/ Erlangen-Twente Markov Chain Checker (ETMCC)], which is a CTMC model checker supporting CSL and aCSL properties.
    56 
    57 ----
    58