Author of the publication

Efficient Automatic STE Refinement Using Responsibility.

, , and . TACAS, volume 4963 of Lecture Notes in Computer Science, page 233-248. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Hybrid BDD and All-SAT Method for Model Checking., , and . Languages: From Formal to Natural, volume 5533 of Lecture Notes in Computer Science, page 228-244. Springer, (2009)3-Valued Circuit SAT for STE with Automatic Refinement., , and . ATVA, volume 4762 of Lecture Notes in Computer Science, page 457-473. Springer, (2007)Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis., , and . FMCAD, volume 3312 of Lecture Notes in Computer Science, page 275-289. Springer, (2004)New approaches to model checking and to 3-valued abstraction and refinement.. Technion - Israel Institute of Technology, Israel, (2010)Efficient Automatic STE Refinement Using Responsibility., , and . TACAS, volume 4963 of Lecture Notes in Computer Science, page 233-248. Springer, (2008)