25 Nov
2015
25 Nov
'15
22:17
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