Karen Yorav

发表

Hardi Hungar, Orna Grumberg, Jürgen Bohn, 1998, FSTTCS.

SAT-Based Predicate Abstraction of Programs

Daniel Kroening, Edmund M. Clarke, Natasha Sharygina, 2005 .

Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings ... / Programming and Software Engineering

Karen Yorav, 2008 .

Complete and effective robustness checking by means of interpolation

Stefan Frehse, Rolf Drechsler, Görschwin Fey, 2012, 2012 Formal Methods in Computer-Aided Design (FMCAD).

Efficient Verification of Sequential and Concurrent C Programs

Alex Groce, Joël Ouaknine, Sagar Chaki, 2004, Formal Methods Syst. Des..

Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

Karen Yorav, 2008, Haifa Verification Conference.

Specifying and verifying systems with multiple clocks

Daniel Kroening, Edmund M. Clarke, Karen Yorav, 2003, Proceedings 21st International Conference on Computer Design.

Learning-Based Compositional Model Checking of Behavioral UML Systems

Orna Grumberg, Karen Yorav, Yael Meller, 2015, FACS.

Haifa Verification Conference - Tutorials

Karen Yorav, Intel Corp, Jason R. Baumgartner, 2008 .

A Model-Driven Framework for Automated Generation and Verification of Cloud Solutions from Requirements

Peifeng Yin, Hamid R. Motahari Nezhad, Taiga Nakamura, 2018, ICSOC.

Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach

Joël Ouaknine, Sagar Chaki, Edmund M. Clarke, 2003, SoftMC@CAV.

Reproducing Synchronization Bugs with Model Checking

Karen Yorav, Sagi Katz, Ron Kiper, 2001, CHARME.

Assumption-based distribution of CTL model checking

Lubos Brim, Karen Yorav, Jitka Zidkova, 2005, International Journal on Software Tools for Technology Transfer.

Modular Model Checking of Software

Orna Grumberg, Karen Yorav, 1998, TACAS.

Functional Verification of Power Gated Designs by Compositional Reasoning

Cindy Eisner, Amir Nahir, Karen Yorav, 2008, CAV.

SAT-based synthesis of clock gating functions using 3-valued abstraction

Oleg Rokhlenko, Karen Yorav, Eli Arbel, 2009, 2009 Formal Methods in Computer-Aided Design.

Applying Software Model Checking Techniques for Behavioral UML Models

Orna Grumberg, Karen Yorav, Yael Meller, 2012, FM.

On-The-Fly Resolve Trace Minimization

Ohad Shacham, Karen Yorav, 2007, 2007 44th ACM/IEEE Design Automation Conference.

Syntax-directed model checking of sequential programs

Orna Grumberg, Karen Yorav, 2002, J. Log. Algebraic Methods Program..

Adaptive Application of SAT Solving Techniques

Ohad Shacham, Karen Yorav, 2006, Electron. Notes Theor. Comput. Sci..

Exploiting syntactic structure for automatic verification

Karen Yorav, K. Yorav, 2000 .

Scalable conditional equivalence checking: An automated invariant-generation based approach

Jason Baumgartner, Jun Sawada, Hari Mony, 2009, 2009 Formal Methods in Computer-Aided Design.

Predicate Abstraction of ANSI-C Programs Using SAT

Daniel Kroening, Edmund M. Clarke, Natasha Sharygina, 2004, Formal Methods Syst. Des..

Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing

Karen Yorav, 2007 .

Behavioral consistency of C and Verilog programs using bounded model checking

Daniel Kroening, Karen Yorav, Edmund Clarke, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

Functional verification of power gated designs by compositional reasoning

Cindy Eisner, Amir Nahir, Karen Yorav, 2009, Formal Methods Syst. Des..

SATABS: SAT-Based Predicate Abstraction for ANSI-C

Daniel Kroening, Edmund M. Clarke, Natasha Sharygina, 2005, TACAS.

Test sequence generation and model checking using dynamic transition relations

Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, 2004, International Journal on Software Tools for Technology Transfer.

Preface

Armin Biere, Karen Yorav, 2011, Formal Methods Syst. Des..

Static Analysis for State-Space Reductions Preserving Temporal Logics

Orna Grumberg, Karen Yorav, K. Yorav, 2004, Formal Methods Syst. Des..

Verifying Behavioral UML Systems via CEGAR

Orna Grumberg, Karen Yorav, Yael Meller, 2014, IFM.

Haifa verification conference 2007

Karen Yorav, 2009, International Journal on Software Tools for Technology Transfer.

Using Assumptions to Distribute CTL Model Checking

Lubos Brim, Karen Yorav, Jitka Crhova, 2002, Electron. Notes Theor. Comput. Sci..

COOL: A Model-Driven and Automated System for Guided and Verifiable Cloud Solution Design

Peifeng Yin, Gil Shurek, Hamid R. Motahari Nezhad, 2016, ICSOC Workshops.