Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : International SPIN Workshop (7 ; 2000 ; Stanford, Calif)
Titre(s) : SPIN model checking and software verification [Texte électronique] : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings / Klaus Havelund, John Penix, Willem Visser (eds.)
Publication : Berlin ; New York : Springer, 2000
Description matérielle : 1 online resource (x, 342 pages)
Collection : Lecture notes in computer science ; 1885
Note(s) : Includes bibliographical references and index
This book constitutes the refereed proceedings of the 7th International SPIN Workshop,
SPIN 2000, held in Stanford, California in August/September 2000. This book is devoted
to automata-based explicit-state model checking technologies for the analysis and
verification of asynchronous concurrent and distributed systems. The SPIN model checker
is one of the most powerful systems of this kind and has attracted a large user community.
The 17 revised full papers presented together with three tutorial contributions were
carefully reviewed and selected from 31 submissions. The book competently presents
the state of the art in SPIN model checking
Autre(s) auteur(s) : Havelund, Klaus (1955-....). Fonction indéterminée
Penix, John (1970-....). Fonction indéterminée
Visser, Willem (1968-....). Fonction indéterminée
Sujet(s) : Génie logiciel
Informatique
Logiciels -- Vérification
Langages de programmation
Indice(s) Dewey :
005.276 (23e éd.) = Développement de logiciels pour le traitement réparti
Identifiants, prix et caractéristiques : ISBN 9783540452973
Identifiant de la notice : ark:/12148/cb44690622w
Notice n° :
FRBNF44690622
(notice reprise d'un réservoir extérieur)
Table des matières : Symmetric Spin / Dragan Bosnacki, Dennis Dams and Leszek Holenderski ; Using Garbage
Collection in Model Checking / Radu Iosif and Riccardo Sisto ; Model Checking Based
on Simultaneous Reachability Analysis / Bengi Karacali and Kuo-Chung Tai ; Testing
Spin's LTL Formula Conversion into Buchi Automata with Randomly Generated Input /
Heikki Tauriainen and Keijo Heljanko ; Verification and Optimization of a PLC Control
Schedule / Ed Brinksma and Angelika Mader ; Modeling the ASCB-D Synchronization Algorithm
with SPIN: A Case Study / Nicholas Weininger and Darren Cofer ; Bebop: A Symbolic
Model Checker for Boolean Programs / Thomas Ball and Sriram K. Rajamani ; Logic Verification
of ANSI-C Code with SPIN / Gerard J. Holzmann ; Interaction Abstraction for Compositional
Finite State Systems / Wayne Liu ; Correctness by Construction: Towards Verification
in Hierarchical System Development / Mila Majster-Cederbaum and Frank Salger ; Linking
STeP with SPIN / Anca Browne, Henny Sipm