Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis at Montr´...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Bosnacki, Dragan, Leue, Stefan
Format:	Buch
Sprache:	eng
Schlagworte:	Computer Science Computer simulation Logic design Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Simulation and Modeling Software Engineering Software Engineering/Programming and Operating Systems SPIN (Computer file)
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!