Ausgabe 3/1999
Inhalt (9 Artikel)
Special section on model checking
Pragmatics of model checking: an STTT special section
Rance Cleaveland
The opinion corner
A workshop on formal methods education: held at Melbourne Florida in March 1998[5]
Steven D. Johnson
Special section on model checking
Partial model checking of modal equations: A survey
Henrik Reif Andersen, Jorn Lind-Nielsen
Special section on model checking
Local model checking and protocol analysis
Xiaoqun Du, Scott A. Smolka, Rance Cleaveland
Special section on model checking
A minimized automaton representation of reachable states
Gerard J. Holzmann, Anuj Puri
Special section on model checking
Analysis and verification of real-time systems using quantitative symbolic algorithms
Sérgio Vale Aguiar Campos, Edmund Clarke
Special section on model checking
State space reduction using partial order techniques
E.M. Clarke, O. Grumberg, M. Minea, D. Peled
Special section on model checking
Model checking: a hardware design perspective
Carl Pixley, Vigyan Singhal