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>
