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

FICTION STATES Draft 18/07/2020 10:04. 3824 Pages. 795161 Words. Expected Publication December-2021
by JAIME P. MONFORT 18 Jul '20

18 Jul '20

[cid:da634da5-74ef-4c6a-a54f-0d1341ac5c52]<https://issuu.com/fictionstates/docs/fictionstates/1451?fr=sOGEwMTUyMTQ0MQ>

1 0

Audio Transcription Service Provider
by Monica Davis 23 Jun '18

23 Jun '18

1 0

Opt-In - Data Needs
by Bob Taylor 19 Sep '17

19 Sep '17

1 0

Re: [MRMC] (no subject)
by Jennifer Lankford 09 May '17

09 May '17

Hi , Get your low interest loans today. with interest rate as low as 8% per annum we're hard to beat bad credit score? no problem! we have a solution for everyone. just send us an email to: stanley.lankford(a)gmail.com <stanley.lankford(a)qq.com> for more information. --------------- Hallo , Holen Sie sich Ihre niedrigen Zinskredite heute. Mit einem Zinssatz von bis zu 8% pro Annum sind wir schwer zu schlechten Kredit-Score zu schlagen? kein Problem! Wir haben eine lösung für alle Schicken Sie uns einfach eine E-Mail an: stanley.lankford(a)gmail.com für weitere Informationen.

1 0

Different time values for MRMC
by Mehmet E Bakir 01 Dec '15

01 Dec '15

Hi, As part of my PhD research, I am using MRMC for statistical model checkering. For a given model(tra) and a property, I need to know how much time MRMC spends for (i)parsing the model, (ii)generating its simulation, and (iii)the time spend for property verification. Is it possible to somehow access these informations? Thank you very much, Best Mehmet Emin BAKIR University of Sheffield <http://www.sheffield.ac.uk/> Department of Computer Science Verification and Testing Group <http://www.sheffield.ac.uk/dcs/research/groups/vt>

2 2

Re: [MRMC] Download
by Mehmet Emin BAKIR 18 Feb '15

18 Feb '15

Hi Ivan, Thank you for your prompt reply. Despite I tried many times with two different email account, unfortunately, it did not send me any email. But I downloaded the attached one. Many thanks. All the best On Wed, Feb 18, 2015 at 12:29 AM, Ivan Zapreev <ivan.zapreev(a)gmail.com> wrote: > Hallo Mehmet Emin, > > Hallo, You should have gotten an e-mail with the MRMC archive in it :) > If not, perhaps it is in your spam folder. Any way, here is the latest src > distribution. > The download worked for me ;) > > Kind regards, > > Dr. Ivan S. Zapreev > > On Wed, Feb 18, 2015 at 12:15 AM, Mehmet Emin BAKIR <meminbakir(a)gmail.com> > wrote: > >> Hello, >> I am trying to download the latest release of MRMC, but it did not send >> me a download link. Do you know why, and how can I download it. >> >> >> Thanks. >> >> -- >> Mehmet Emin BAKIR >> >> _______________________________________________ >> MRMC-users mailing list >> MRMC-users(a)lists.rwth-aachen.de >> https://mailman.rwth-aachen.de/mailman/listinfo/mrmc-users >> > > > > -- > Best regards, > > Ivan > <http://www.tainichok.ru/> > -- Mehmet Emin BAKIR

2 1

Download
by Mehmet Emin BAKIR 18 Feb '15

18 Feb '15

Hello, I am trying to download the latest release of MRMC, but it did not send me a download link. Do you know why, and how can I download it. Thanks. -- Mehmet Emin BAKIR

1 0

MRMC 1.5 adaption for huge models
by Martin Groessl 13 Dec '14

13 Dec '14

Dear all, the public available MRMC code 1.5 was adapted for processing huge models. Additionally data storage is now easy adjustable from double to float, but the drawback of saving memory space is loosing precision. Beyond that a parallelization option for some parts of the code (only for loops) was implemented. The modified MRMC version is available in the SVN: https://svn-i2.informatik.rwth-aachen.de/repos/mrmc/branches/large-models If somebody is interested an cannot access the SVN then don't hesitate to contact me. Best regards Martin Groessl

1 0

MRMC with huge models
by Martin Groessl 20 Nov '14

20 Nov '14

Dear all, I'm a newbie in model checking but for my PhD project a great option is model analysis. In project a huge CTMC model (.tra) with 797382144 STATES and 64470375837 TRANSITIONS is generated. First I noticed that MRMC "only" requests 3GB RAM which seems to be filled. In that process a core dump is generated. I noticed that MRMC seems not to load all transitions or eventually represents the transition count in a wrong way (may be a variable overflow). Do you have some experience with analysing such big models? Are there some restrictions by MRMC ? Best Martin Groessl ----------------------------------------------------- Technical University of Kaiserslautern Department of ComputerScience 67653 Kaiserslautern,Germany Email: groessl(a)informatik.uni-kl.de

2 4

Fwd: MRMC - 2 question - download do NOT work
by David N. Jansen 19 May '14

19 May '14

Dear Ignacio, I am forwarding your email to the MRMC users mailing list. The MRMC server is maintained by people in the group of Joost-Pieter Katoen, RWTH Aachen. I have just tried to download the source version myself; I can see that the email format is broken, but I have no access to the server and do not know how to repair it. The problem is that there are some lines with two line breaks instead of one. The relevant RFCs (822, ..., 5322) all prescribe that lines in emails are separated by CR LF; it may be that the current mailserver actually changes CR LF to two line breaks. The PHP mail() documentation <http://php.net/manual/en/function.mail.php> mentions that the qmail server software does so. Regarding your second question on discrete-time MDPs: No, I do not know of a mode to support discrete-time MDPs. The support for continuous-time MDPs was added to MRMC later, as a result of the research of Moritz Hahn. Kind regards, David N. Jansen. Op 17 mei 2014, om 23:03 heeft Ignacio Fernandez De La Puente <puente(a)in.tum.de> het volgende geschreven: > Dear David, > > I found out today about your Markov Reward Model Checker (MRMC) and I must say that I am very interested. I am working with Prof. Broy at the TUM and I would like to apply it to a reward model for generating test cases for feature interaction in software production lines. > > The thing is that I have been trying to download the source code and unfortunately I must say that your php server is not working properly because I did not receive the attachment with the source code. Instead, I received an email without attachment and with a binary as text. As I matter of fact I tried again with the windows file and occurred the same. > > Could you please send me the version 5 of MRMC Tool (source code, windows version and linux-32 version). That would be fantastic!!=) > > The last question is concerning the documentation. Unfortunately I am not familiar with continous time MDPs and I could not find if a continous MDP can be transformed into a discrete MDP. This is why I would like to ask you if your tool MRMC also support discrete time MDP's? > > Thank you very much! =) > > Best Regards from Munich! > Ignacio FP

1 0