Richard J. Anderson, Paul Beame, William Chan, David Notkin. Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications. In Dines Bjørner, Manfred Broy, Alexandre V. Zamulin, editors, Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI 99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings. Volume 1755 of Lecture Notes in Computer Science, pages 460-469, Springer, 1999. [doi]
Abstract is missing.