Talk:Markov Reward Model Checker (MRMC)

From Wikipedia, the free encyclopedia

Build and use MRMC on Mac OS X with the gcc and other required tools (yacc, flex, make, etc ..) installed.

For this uncomment

#define MAC_OS 0

in include/macro.h. Then in every source file with

#ifdef MAC_OS or #ifndef MAC_OS

make sure that include/macro.h is placed above these if-defs.

A bit later (in February 2007 or so) there will be an official version of MRMC for Max OS X Platform.

Zapreevis 10:26, 15 January 2007 (UTC)

---

Build and use MRMC under Windows using Cygwin. The trick is to add:

#include < sys/time.h >

line into the includes section of:

src/mcc.c and src/io/parser/parser_etmcc2.y

files of the distribution. Note that this fix has been added into the MRMC since version 1.2.1.

Zapreevis 13:16, 14 November 2006 (UTC)

---

Here I expect people to discuss Model Checking algorithms and related issues including the use of the MRMC Tool, it's bugs, applicability, performance and all the rest.

--Zapreevis 11:29, 25 October 2006 (UTC)