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