MRMC-users

mrmc-users@lists.rwth-aachen.de

36 Diskussionen

von Diana El Rabih

Hi, I had installed mrmc by doing unzip of mrmc_lin_v1.3.zip and by doing make all in the directory mrmc_lin_v1.3.zip when doing make all I had obtained this message when making: mrmc_tokenizer.c:1: warning: ISO C forbids an empty source file make[1]: Leaving directory `/root/Desktop/mrmc_lin_v1.3/obj' make: *** [lib] Error 2 and then going to bash command line and running ./bin/mrmc I obtain this meaasge: bash cannot execute mrmc binary file I don't know where is the problem, can you help me plz? Thanks. Diana

14 Jahre, 8 Monate

using lumped chains and probabilities

von Sayan

Hello, I'm relatively new to MRMC. Is there an easy way of a) extracting the lumped Markov chain generated by MRMC, and b) computing a collection of steady state probability values ? So that these results can be used in another tool/program. Thanks in advance, Sayan -- Sayan Mitra http://users.crhc.illinois.edu/mitras/

15 Jahre, 1 Monat

***** VIRUS REMOVED / ENTFERNT **********SPAM***** Returned mail: Data format error

von Automatic Email Delivery Software

The original message was received at Sat, 10 May 2003 18:17:23 +0800 from lists.rwth-aachen.de [162.173.14.63] ----- The following addresses had permanent fatal errors ----- <mrmc-users(a)lists.rwth-aachen.de> ----- Transcript of the session follows ----- ... while talking to 220.16.48.197: >>> DATA <<< 400-aturner; -RMS-E-CRE, ACP file create failed <<< 400-aturner; -SYSTEM-F-EXDISKQUOTA, disk quota exceeded <<< 400

15 Jahre, 5 Monate

Test email

von Viet Yen Nguyen

Test

15 Jahre, 8 Monate

First summary of discussion

von Viet Yen Nguyen

Dear all, I've set up a Wiki page on which we can summarise our discussions. You can find it here: http://mrmc-tool.org/trac/wiki/Future Viet Yen -- http://www-i2.cs.rwth-aachen.de/~nguyen

16 Jahre

Future of MRMC

von Viet Yen Nguyen

Dear all, It's time to define the future of MRMC and with this email I would like to start a debate. The flexibility of the current MRMC codebase is nearing its end (as expressed by Ivan), and for further growth, we need to take up a vision. Professor Katoen supports this and encourages external participation from interested parties. I want to highlight the following issues in this discussion: 1. We need to define a target of users in which we operate. We should be different. I think we should not try to compete against PRISM, but look further and open up different areas. This is going to be a difficult one. Related questions are: "in which research fields is stochastic model checking interesting, but absent?", "for which applications is stochastic verification desired, but absent?", "what problems/inconveniences do users experience with the current MRMC?" 2. We need to define the feature set of a new MRMC that is suitable for our target user. This is where our creativity comes :) 3. We need to define a global strategy that enables us to reach these users effectively. That is, we need to know the key figures, what their interests are, how they view tools and what they expect from tools. Also helpful is to know to which conferences they publish and what their key publications are. 4. We need to define a new architecture that can support this feature set. Also, to keep an overview in the discussion, I'll make sure that I'll make an overview of the discussion so far from time to time. Also, to define my role more clearly: within the ESA project I am working, it is my first duty to apply techniques readily available. My efforts will therefore mostly be about having bugs fixed in the MRMC 1.3 codebase. For the development of the future MRMC, a new HiWi can be hired to do the job (though this might take some time because finding a suitable one is not easy) Start brainstorming! :) Viet Yen -- http://www-i2.cs.rwth-aachen.de/~nguyen

16 Jahre

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

MRMC-users