- MRMC-users - lists.rwth-aachen.de

Tr : user of mrmc, having runing problem, plz help me
by Diana El Rabih 13 Nov '09

13 Nov '09

----- Message transféré ---- De : Diana El Rabih <dianarabih(a)yahoo.fr> À : mrmc-users(a)lists.rwth-aachen.de Envoyé le : Mar 10 Novembre 2009, 9 h 53 min 46 s Objet : user of mrmc, having runing problem 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

2 1

user of mrmc, having runing problem
by Diana El Rabih 10 Nov '09

10 Nov '09

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

2 2

using lumped chains and probabilities
by Sayan 26 May '09

26 May '09

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/

2 1

***** VIRUS REMOVED / ENTFERNT **********SPAM***** Returned mail: Data format error
by Automatic Email Delivery Software 10 Feb '09

10 Feb '09

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

1 0

Test email
by Viet Yen Nguyen 13 Nov '08

13 Nov '08

Test

1 0

First summary of discussion
by Viet Yen Nguyen 08 Jul '08

08 Jul '08

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

1 0

Future of MRMC
by Viet Yen Nguyen 07 Jul '08

07 Jul '08

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

1 0