Program model checking as a new trend Klaus HavelundWillem Visser Special section on SPIN Pages: 8 - 20
Verification and optimization of a PLC control schedule Ed BrinksmaAngelika MaderAnsgar Fehnker Special section on SPIN Pages: 21 - 33
Expressing checkable properties of dynamic systems: the Bandera Specification Language James C. CorbettMatthew B. Dwyer Robby Special section on SPIN Pages: 34 - 56
Testing LTL formula translation into Büchi automata Heikki TauriainenKeijo Heljanko Special section on SPIN Pages: 57 - 70
Model-checking multi-threaded distributed Java programs Scott D. Stoller Special section on SPIN Pages: 71 - 91
Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard Cindy Eisner Regular contribution Pages: 107 - 124