Found 2 results
Sort by:[Year][Title][Type][Author]
Filters: author is Strichman  [Clear All Filters]
Kroening, D., Strichman, O. , "A Framework for Decision Procedures in Program Verification", Formal Aspects of Computing, vol. 21, issue 5: Springer, pp. 10, 10/2009. Abstract
 Export: Tagged XML BibTex
Bryant, R., Kroening, D., Ouaknine, J., Seshia, S., Strichman, O., Brady, B. , "Deciding Bit-Vector Arithmetic with Abstraction", Software Tools for Technology Transfer (STTT), vol. 11, issue 2: Springer, pp. 95--104, 2009  . Abstract
 Export: Tagged XML BibTex