Changes between Version 5 and Version 6 of WikiStart
- Timestamp:
- Jun 17, 2008, 11:49:49 AM (11 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v5 v6 3 3 = Welcome to the Markov Reward Model Checker = 4 4 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? == 6 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. 7 7 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 == 9 MRMC is a command-line tool written in C-language. Which allows MRMC to be small and fast. 10 Currently we support Windows, Linux and Mac OS X platforms. 11 The tool is distributed under the [http://www.gnu.org/licenses/gpl.html GNU General Public License (GPL)]. 12 12 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. 13 An example of the tool usage may be found below: 14 [[Image(mrmc_cmd.jpg)]] 18 15 19 16 "[wiki:TracAdmin trac-admin] ''yourenvdir'' initenv" created