Does not mention how to produce and select traces to build the model from Claims that correctness is guaranteed for the safety property but does not prove this nor present evidence do support it Does not comment on completeness Good ideas about code instrumentation, though.
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 Bodhuin2009
%A Bodhuin, T.
%A Pagnozzi, F.
%A Santone, A.
%B ASEA 2009, CCIS
%D 2009
%K bytecodes CCS LTS traces
%P 143-150
%T Abstracting Models from Execution Traces for Performing Formal Verification
%V 59
@inproceedings{Bodhuin2009,
added-at = {2012-08-06T21:21:26.000+0200},
author = {Bodhuin, T. and Pagnozzi, F. and Santone, A.},
biburl = {https://www.bibsonomy.org/bibtex/2ffd2f7f006458f0c004701194dccd07c/lucio_duarte},
booktitle = {ASEA 2009, CCIS},
groups = {public},
interhash = {09971b498e707a427196e2671f278bdc},
intrahash = {ffd2f7f006458f0c004701194dccd07c},
keywords = {bytecodes CCS LTS traces},
pages = {143-150},
review = {Does not mention how to produce and select traces to build the model from Claims that correctness is guaranteed for the safety property but does not prove this nor present evidence do support it Does not comment on completeness Good ideas about code instrumentation, though.},
timestamp = {2012-08-06T21:21:26.000+0200},
title = {Abstracting Models from Execution Traces for Performing Formal Verification},
username = {lucio_duarte},
volume = 59,
year = 2009
}