Systems and software verification / Béatrice BERARD

Public ISBD Titre : Systems and software verification : Model-checking techniques and tools Type de document : texte imprimé Auteurs : Béatrice BERARD, Auteur ; Michel BIDOIT, Auteur Editeur : SPRINGER Année de publication : 2001 Importance : 190 P. Présentation : ill.; Format : 16cm x 24cm ISBN/ISSN/EAN : 978-3-540-41523-7 Langues : Anglais (eng) Catégories : Micro Informatique:01 Microsystèmes et micro-ordinateurs Mots-clés : Principles and techniques  specifying with temporal logic  some tools . Résumé : This book is the first text on model checking at a graduate/undergraduate level. It is divided into three parts. The first part is concerned with the fundamental notions (modeling with finite automata, synchronous product of automata, temporal logic, model-checking algorithms, timed systems). The second part focuses on the practical problem of writing correctness properties in temporal logic, and on different approaches to their verification. The third part reviews several model-checking tools. Systems and software verification : Model-checking techniques and tools [texte imprimé] / Béatrice BERARD, Auteur ; Michel BIDOIT, Auteur . - SPRINGER, 2001 . - 190 P. : ill.; ; 16cm x 24cm. ISBN : 978-3-540-41523-7 Langues : Anglais (eng) Catégories : Micro Informatique:01 Microsystèmes et micro-ordinateurs Mots-clés : Principles and techniques  specifying with temporal logic  some tools . Résumé : This book is the first text on model checking at a graduate/undergraduate level. It is divided into three parts. The first part is concerned with the fundamental notions (modeling with finite automata, synchronous product of automata, temporal logic, model-checking algorithms, timed systems). The second part focuses on the practical problem of writing correctness properties in temporal logic, and on different approaches to their verification. The third part reviews several model-checking tools.

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	numéro d'inventaire	Cote	Support	Localisation	Section	Disponibilité
195687	24-01-0030	Livre	Bibliothèque IGCMO	Documentaires	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200