25 Nov
2015
25 Nov
'15
10:17 p.m.
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>