Search results for: Ofer Strichman
Lecture Notes in Computer Science > Computer Aided Verification > Session XI: Probabilistic Verification > 339-351
Artificial Intelligence > 2016 > 238 > C > 135-153
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Decision Procedures > 160-170
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Model Checking II > 298-309
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstraction Refinement > 358-372
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2008 > 271-276
Lecture Notes in Computer Science > Hardware and Software: Verification and Testing > Section 2: Regular Papers > 114-128
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Assume-Guarantee Reasoning > 276-291
Lecture Notes in Computer Science > Computer Aided Verification > Session 4. SAT and Bounded Model Checking > 109-122
Lecture Notes in Computer Science > Hardware and Software, Verification and Testing > Hardware Verification > 76-89