Theoretical and practical aspects of SPIN model checking
Subtitle: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
By: Dennis Dams ... [et al.], (Eds.)
Contributors: Dams, Dennis.; Federated Logic Conference (1999 : Trento, Italy); International SPIN Workshop (6th : 1999 : Toulouse, France); World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France)
Series: Lecture notes in computer science ;; 1680
Publisher: Springer-Verlag
Published: 1999
Place of publication: Berlin; New York
Language: eng
Number of pages: 276
Subjects: SPIN (Computer file) -- Congresses; Computer software -- Verification -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.
5th International SPIN Workshop on Theoretical Aspects of Model Checking (5thSPIN99) was held on July 5th, 1999 as a satellite workshop of the Federated Logic Conference (FLoC'99) while the 6th International SPIN Workshop on Practical Aspects of Model Checking (6thSPIN99) was held as a user group meeting with the World Congress on Formal Methods in the Development of Computing Systems (FM'99) on September 21-24, 1999.