Benchmarking finite-state verifiers George S. AvruninJames C. CorbettMatthew B. Dwyer The opinion corner Pages: 317 - 320
SPIN model checking: an introduction Gerard HolzmannEli NajmAhmed Serhrouchni Special section on SPIN Pages: 321 - 327
Control and data abstraction: the cornerstones of practical formal verification Yonit KestenAmir Pnueli Special section on SPIN Pages: 328 - 342
Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation Lynette I. MillettTim Teitelbaum Special section on SPIN Pages: 343 - 349
Practical CTL* model checking: Should SPIN be extended? Willem VisserHoward Barringer Special section on SPIN Pages: 350 - 365
Model checking JAVA programs using JAVA PathFinder Klaus HavelundThomas Pressburger Special section on SPIN Pages: 366 - 381
On-the-fly conformance testing using SPIN René G. de VriesJan Tretmans Special section on SPIN Pages: 382 - 393
Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN Moataz KamelStefan Leue Special section on SPIN Pages: 394 - 409
NUSMV: a new symbolic model checker Alessandro CimattiEdmund ClarkeMarco Roveri Regular contribution Pages: 410 - 425