Talk:Markov Reward Model Checker (MRMC)

From Wikipedia, the free encyclopedia

You have new messages (last change).

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)

It is possible to 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 currently downloadable version since 14.11.2006.

Zapreevis 13:16, 14 November 2006 (UTC)

Retrieved from "http://en.wikipedia.org../../../m/a/r/Talk%7EMarkov_Reward_Model_Checker_%28MRMC%29_ba09.html"