A workshop on formal methods education: held at Melbourne Florida in March 1998[5] Steven D. Johnson The opinion corner Pages: 203 - 207
Pragmatics of model checking: an STTT special section Rance Cleaveland Special section on model checking Pages: 208 - 218
Local model checking and protocol analysis Xiaoqun DuScott A. SmolkaRance Cleaveland Special section on model checking Pages: 219 - 241
Partial model checking of modal equations: A survey Henrik Reif AndersenJorn Lind-Nielsen Special section on model checking Pages: 242 - 259
Analysis and verification of real-time systems using quantitative symbolic algorithms Sérgio Vale Aguiar CamposEdmund Clarke Special section on model checking Pages: 260 - 269
A minimized automaton representation of reachable states Gerard J. HolzmannAnuj Puri Special section on model checking Pages: 270 - 278
State space reduction using partial order techniques E.M. ClarkeO. GrumbergD. Peled Special section on model checking Pages: 279 - 287
Model checking: a hardware design perspective Carl PixleyVigyan Singhal Special section on model checking Pages: 288 - 306