Changes between Version 5 and Version 6 of WikiStart

Timestamp:

Jun 17, 2008, 11:49:49 AM (11 years ago)

Author:

Christina Jansen

Comment:

--

WikiStart

@@ -3 +3 @@
 = Welcome to the Markov Reward Model Checker =
 
-Trac is a '''minimalistic''' approach to '''web-based''' management of
-'''software projects'''. Its goal is to simplify effective tracking and handling of software issues, enhancements and overall progress.
+== What is MRMC? ==
+MRMC is a model checker for ''discrete-time'' and ''continuous-time  Markov reward models''. It supports reward extensions of PCTL and CSL  (PRCTL and CSRL), and allows for the automated verification of properties concerning long-run and instantaneous rewards as well as cumulative rewards. In particular, it supports to check the reachability of a set of goal states (by only visiting legal states before) under a time and an accumulated reward constraint.
 
-All aspects of Trac have been designed with the single goal to 
-'''help developers write great software''' while '''staying out of the way'''
-and imposing as little as possible on a team's established process and
-culture.
+== A Command-line tool ==
+MRMC is a command-line tool written in C-language. Which allows MRMC to be small and fast.
+Currently we support Windows, Linux and Mac OS X platforms.
+The tool is distributed under the [http://www.gnu.org/licenses/gpl.html GNU General Public License (GPL)].
 
-As all Wiki pages, this page is editable, this means that you can
-modify the contents of this page simply by using your
-web-browser. Simply click on the "Edit this page" link at the bottom
-of the page. WikiFormatting will give you a detailed description of
-available Wiki formatting commands.
+An example of the tool usage may be found below:
+[[Image(mrmc_cmd.jpg)]] 
 
 "[wiki:TracAdmin trac-admin] ''yourenvdir'' initenv" created