Oregon State University
Search Menu
  • All of OSU
  • selectedSchool of Electrical Engineering & Computer Science



Home ›

Biblio

Found 6 results

2006
Groce, A., S. Chaki, D. Kroening, and O. Strichman, "Error explanation with distance metrics", International Journal on Software Tools for Technology Transfer, vol. 8, issue 3, pp. 229 - 247, 06/2006. Abstract
2004
Chaki, S., A. Groce, and O. Strichman, "Explaining Abstract Counterexamples", ACM SIGSOFT International Symposium on the Foundations of Software Engineering, vol. 29, Newport Beach, California, pp. 73–82, 11/2004. Abstract
Chaki, S., E. Clarke, A. Groce, J. Ouaknine, O. Strichman, and K. Yorav, "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
Chaki, S., E. Clarke, A. Groce, S. Jha, and H. Veith, "Modular verification of software components in C", IEEE Transactions on Software Engineering, vol. 30, issue 6, pp. 388 - 402, 06/2004. Abstract
2003
Chaki, S., E. Clarke, A. Groce, and O. Strichman, "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
Chaki, S., E. Clarke, A. Groce, S. Jha, and H. Veith, "Modular verification of software components in C", International Conference on Software Engineering (ICSE), Portland, Oregon, pp. 385–395, 05/2003. Abstract

Contact Info

Oregon State University
1148 Kelley Engineering Center
Corvallis, OR 97331-5501
Phone: (541) 737-3617
Fax: (541) 737-1300
Contact us with your comments and questions
Copyright ©  2012 Oregon State University
Disclaimer