The model checker SPIN (1997)

by G J HOLZMANN
Venue:IEEE Trans. Softw. Engin