Spin Model Checking and Software Verification: Proceedings of the 7th International SPIN Workshop, Stanford, CA, U.S.A., August 30‐September 1, 2000. By Klaus Havelund, John Penix and Willem Visser (eds.). Lecture Notes in Computer Science, Volume 1885, Published by Springer‐Verlag, Berlin, Germany, 2000. ISBN: 3‐540‐41030‐9, 343 pages. Price: U.K. ?31.00, U.S.A. $62.00, Germany DM 90.00, Soft Cover.