Theoretical and Practical Aspects of SPIN Model Checking 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Dams, Dennis (Editor, http://id.loc.gov/vocabulary/relators/edt), Gerth, Robert (Editor, http://id.loc.gov/vocabulary/relators/edt), Leue, Stefan (Editor, http://id.loc.gov/vocabulary/relators/edt), Massinek, Mieke (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Edition: 1st ed. 1999.
• Series: Lecture Notes in Computer Science, 1680
• Subjects: Computer software.; Computer logic.; Software engineering.; Programming languages (Electronic computers).; Mathematical Software.; Logics and Meanings of Programs.; Software Engineering.; Programming Languages, Compilers, Interpreters.

Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri...