Biblio
Found 4 results
"Error explanation with distance metrics",
International Journal on Software Tools for Technology Transfer, vol. 8, issue 3, pp. 229 - 247, 06/2006.
Abstract
"Explaining Abstract Counterexamples",
ACM SIGSOFT International Symposium on the Foundations of Software Engineering, vol. 29, Newport Beach, California, pp. 73–82, 11/2004.
Abstract
"Efficient Verification of Sequential and Concurrent C Programs",
Formal Methods in System Design, Special Issue on Software Model Checking, vol. 25, issue 2-3, pp. 129 - 166, 09/2004.
Abstract
"Predicate Abstraction with Minimum Predicates",
In Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME), L'Aquila, Italy, Springer, pp. 19--34, 10/2003.
Abstract
Facebook
LinkedIn