Changes between Version 5 and Version 6 of WikiStart

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



  • WikiStart

    v5 v6  
    33= Welcome to the Markov Reward Model Checker =
    5 Trac is a '''minimalistic''' approach to '''web-based''' management of
    6 '''software projects'''. Its goal is to simplify effective tracking and handling of software issues, enhancements and overall progress.
     5== What is MRMC? ==
     6MRMC 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.
    8 All aspects of Trac have been designed with the single goal to
    9 '''help developers write great software''' while '''staying out of the way'''
    10 and imposing as little as possible on a team's established process and
    11 culture.
     8== A Command-line tool ==
     9MRMC is a command-line tool written in C-language. Which allows MRMC to be small and fast.
     10Currently we support Windows, Linux and Mac OS X platforms.
     11The tool is distributed under the [ GNU General Public License (GPL)].
    13 As all Wiki pages, this page is editable, this means that you can
    14 modify the contents of this page simply by using your
    15 web-browser. Simply click on the "Edit this page" link at the bottom
    16 of the page. WikiFormatting will give you a detailed description of
    17 available Wiki formatting commands.
     13An example of the tool usage may be found below:
    1916"[wiki:TracAdmin trac-admin] ''yourenvdir'' initenv" created