SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings / Klaus Havelund, John Penix, Willem Visser (eds.). - Havelund, Klaus, 1955-; Penix, John, 1970-; Visser, Willem, 1968- (Lecture notes in computer science, 2000)