Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Nathan P. Kropp"'
Publikováno v:
International Journal on Software Tools for Technology Transfer (STTT). 4:335-348
In this paper, we emphasize the importance of efficient debugging in formal verification and present capabilities that we have developed in order to aid debugging in Intel’s Formal Verification Environment. We have given the name “Counter-Example
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b63e5602d228fb5357de780ad6b5db1d
https://doi.org/10.1007/s10009-002-0097-y
https://doi.org/10.1007/s10009-002-0097-y
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540425410
CHARME
CHARME
In this paper, we emphasize the importance of efficient debugging in formal verification and present capabilities that we have developed in order to augment debugging in Intel's Formal Verification Environment. We have given the name the "counter-exa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bfca6dd609495f8cbb4fb687c05201bd
https://doi.org/10.1007/3-540-44798-9_23
https://doi.org/10.1007/3-540-44798-9_23
