Volume 34, Issue 2

April 2009

Special Issue: Selected Papers from CAV 2007; Guest Editors: Werner Damm, Holger Hermanns, and Jürgen Niehaus

5 articles in this issue

From liveness to promptness
Orna Kupferman
Nir Piterman
Moshe Y. Vardi
OriginalPaper 28 January 2009 Pages: 83 - 103
Local proofs for global safety properties
Ariel Cohen
Kedar S. Namjoshi
OriginalPaper 11 December 2008 Pages: 104 - 125
Approximated parameterized verification of infinite-state processes with global conditions
Parosh Aziz Abdulla
Giorgio Delzanno
Ahmed Rezine
OriginalPaper 17 December 2008 Pages: 126 - 156
Hybrid systems: from verification to falsification by combining motion planning and discrete search
Erion Plaku
Lydia E. Kavraki
Moshe Y. Vardi
OriginalPaper 25 October 2008 Pages: 157 - 182
Coverage-guided test generation for continuous and hybrid systems
Thao Dang
Tarik Nahhal
OriginalPaper 07 February 2009 Pages: 183 - 213

Search