Login / Signup
Avi Yadgar
Publication Activity (10 Years)
Years Active: 2004-2009
Publications (10 Years): 0
</>
Publications
</>
Avi Yadgar
,
Orna Grumberg
,
Assaf Schuster
Hybrid BDD and All-SAT Method for Model Checking.
Languages: From Formal to Natural
(2009)
Hana Chockler
,
Orna Grumberg
,
Avi Yadgar
Efficient Automatic STE Refinement Using Responsibility.
TACAS
(2008)
Orna Grumberg
,
Assaf Schuster
,
Avi Yadgar
3-Valued Circuit SAT for STE with Automatic Refinement.
ATVA
(2007)
Orna Grumberg
,
Assaf Schuster
,
Avi Yadgar
Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis.
FMCAD
(2004)