Efficient Verification of Sequential and Concurrent C Programs
Chaki, S., Clarke, E., Groce, A., Ouaknine, J., Strichman, O., Yorav, K.
Published in Formal methods in system design (01.09.2004)
Published in Formal methods in system design (01.09.2004)
Get full text
Journal Article
Specifying and verifying systems with multiple clocks
Clarke, E.M., Kroening, D., Yorav, K.
Published in Proceedings 21st International Conference on Computer Design (2003)
Published in Proceedings 21st International Conference on Computer Design (2003)
Get full text
Conference Proceeding
SATABS: SAT-Based Predicate Abstraction for ANSI-C
Clarke, Edmund, Kroening, Daniel, Sharygina, Natasha, Yorav, Karen
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
Predicate Abstraction of ANSI-C Programs Using SAT
Clarke, Edmund, Kroening, Daniel, Sharygina, Natasha, Yorav, Karen
Published in Formal methods in system design (01.09.2004)
Published in Formal methods in system design (01.09.2004)
Get full text
Journal Article
Behavioral consistency of C and verilog programs using bounded model checking
Clarke, Edmund, Kroening, Daniel, Yorav, Karen
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 40th conference on Design automation; 02-06 June 2003 (02.06.2003)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 40th conference on Design automation; 02-06 June 2003 (02.06.2003)
Get full text
Conference Proceeding
On-the-fly resolve trace minimization
Shacham, Ohad, Yorav, Karen
Published in 2007 44th ACM/IEEE Design Automation Conference (04.06.2007)
Published in 2007 44th ACM/IEEE Design Automation Conference (04.06.2007)
Get full text
Conference Proceeding
Complete and effective robustness checking by means of interpolation
Frehse, S., Fey, G., Arbel, E., Yorav, K., Drechsler, R.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
SAT-based synthesis of clock gating functions using 3-valued abstraction
Arbel, E., Rokhlenko, O., Yorav, K.
Published in 2009 Formal Methods in Computer-Aided Design (01.11.2009)
Published in 2009 Formal Methods in Computer-Aided Design (01.11.2009)
Get full text
Conference Proceeding
Scalable conditional equivalence checking: An automated invariant-generation based approach
Baumgartner, J., Mony, H., Case, M., Sawada, J., Yorav, K.
Published in 2009 Formal Methods in Computer-Aided Design (01.11.2009)
Published in 2009 Formal Methods in Computer-Aided Design (01.11.2009)
Get full text
Conference Proceeding
Syntax-directed model checking of sequential programs
Yorav, Karen, Grumberg, Orna
Published in The journal of logic and algebraic programming (01.07.2002)
Published in The journal of logic and algebraic programming (01.07.2002)
Get full text
Journal Article