O
Ofer Strichman
Researcher at Technion – Israel Institute of Technology
Publications - 120
Citations - 4639
Ofer Strichman is an academic researcher from Technion – Israel Institute of Technology. The author has contributed to research in topics: Model checking & Counterexample. The author has an hindex of 33, co-authored 115 publications receiving 4436 citations. Previous affiliations of Ofer Strichman include Weizmann Institute of Science & Carnegie Mellon University.
Papers
More filters
Book ChapterDOI
Bounded Model Checking
TL;DR: This article surveys a technique called Bounded Model Checking (BMC), which uses a propositional SAT solver rather than BDD manipulation techniques, and is widely perceived as a complementary technique to BDD-based model checking.
Book
Decision Procedures: An Algorithmic Point of View
Daniel Kroening,Ofer Strichman +1 more
TL;DR: This book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research.
Journal ArticleDOI
Error explanation with distance metrics
TL;DR: Experimental results show that the power of the model checking engine can be used to provide assistance in understanding errors and to isolate faulty portions of the source code.
Journal Article
SAT based abstraction-refinement using ILP and machine learning techniques
TL;DR: New techniques for model checking in the counterexample guided abstraction/refinement framework are described, which use a combination of Integer Linear Programming (ILP) and machine learning techniques for refining the abstraction based on the counteretxample.
Book ChapterDOI
Deciding bit-vector arithmetic with abstraction
TL;DR: Experimental results suggest that this abstraction-based approach can be considerably more efficient than directly invoking the SAT solver on the original formula as well as other competing decision procedures.