Journal of Logic and Algebraic Programming, Volume 52-53

Volume 52-53, July - August 2002

• Holger Hermanns, Joost-Pieter Katoen:
  Guest editors' introduction: Model checking in a nutshell. 1-5
  
• Luca Aceto, François Laroussinie:
  Is your model checker on time? On the complexity of model checking for timed modal logics. 7-51
  
• Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen:
  Symbolic model checking of timed guarded commands using difference decision diagrams. 53-77
  
• Xuandong Li, Jianhua Zhao, Pei Yu, Yong Li, Tao Zheng, Guoliang Zheng:
  Positive loop-closed automata: a decidable class of hybrid systems. 79-108
  
• Dennis Dams, Yassine Lakhnech, Martin Steffen:
  Iterating transducers. 109-127
  
• Karen Yorav, Orna Grumberg:
  Syntax-directed model checking of sequential programs. 129-162
  
• Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
  Automated verification of an audio-control protocol using UPPAAL. 163-181
  
• Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager:
  Linear parametric model checking of timed automata. 183-220