Ausgabe 2/2009
Special Issue: Selected Papers from CAV 2007; Guest Editors: Werner Damm, Holger Hermanns, and Jürgen Niehaus
Inhalt (5 Artikel)
Approximated parameterized verification of infinite-state processes with global conditions
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
Hybrid systems: from verification to falsification by combining motion planning and discrete search
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi