Cover Image

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 /

Bibliographic Details
Corporate Authors: International SPIN Workshop Trento, Italy, SpringerLink (Online service), Federated Logic Conference, International SPIN Workshop, World Congress on Formal Methods in the Development of Computing Systems
Other Authors: Dams, Dennis
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, [1999]
Series:Lecture notes in computer science ; 1680.
Subjects:
SPIN (Computer file) > Congresses.
SPIN (Logiciel) > Congrès.
SPIN (Computer file)
Computer software > Verification > Congresses.
Computer simulation > Testing > Data processing > Congresses.
Verification (Logic)
Automatic theorem proving > Congresses.
Logiciels > Vérification > Congrès.
Computer software > Verification.
Modellen.
Verificatie.
Programacao De Computadores.
Kongress.
Model Checking.
Electronic books.
Kongress > Trient > 1999.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Item Description: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.
Electronic resource.
Physical Description:1 online resource (x, 276 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:3540664998
9783540664994