Dear MRMC developer(s), Can we identify how much time spent for simulation trace generation, and the time spent for property verification. Is it possible to separately identify each time when verifying a model with MRMC in statistical model checking mode? Or MRMC does verification on fly(parallel with simulation) which means we can't separate them?
Thanks in advance, 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
On 25 November 2015 at 21:17, Mehmet E Bakir mebakir1@sheffield.ac.uk wrote:
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