Autor der Publikation

Efficient Automatic STE Refinement Using Responsibility.

, , und . TACAS, Volume 4963 von Lecture Notes in Computer Science, Seite 233-248. Springer, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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., , und . TACAS, Volume 4963 von Lecture Notes in Computer Science, Seite 233-248. Springer, (2008)3-Valued Circuit SAT for STE with Automatic Refinement., , und . ATVA, Volume 4762 von Lecture Notes in Computer Science, Seite 457-473. Springer, (2007)Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis., , und . FMCAD, Volume 3312 von Lecture Notes in Computer Science, Seite 275-289. Springer, (2004)Hybrid BDD and All-SAT Method for Model Checking., , und . Languages: From Formal to Natural, Volume 5533 von Lecture Notes in Computer Science, Seite 228-244. Springer, (2009)