Avi Yadgar

According to our database, Avi Yadgar authored at least 5 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

New approaches to model checking and to 3-valued abstraction and refinement.

Avi Yadgar

PhD thesis, 2010

2009

Hybrid BDD and All-SAT Method for Model Checking.

Avi Yadgar, Orna Grumberg, Assaf Schuster

Proceedings of the Languages: From Formal to Natural, 2009

2008

Efficient Automatic STE Refinement Using Responsibility.

Hana Chockler, Orna Grumberg, Avi Yadgar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2007

3-Valued Circuit SAT for STE with Automatic Refinement.

Orna Grumberg, Assaf Schuster, Avi Yadgar

Proceedings of the Automated Technology for Verification and Analysis, 2007

2004

Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis.

Orna Grumberg, Assaf Schuster, Avi Yadgar

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004