A Complete Bounded Model Checking Algorithm for Pushdown Systems

Dettagli Bibliografici
Autori principali: Basler, G, Kroening, D, Weissenbacher, G
Natura: Conference item
Pubblicazione: Springer 2007