Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (17 chapters)
-
Front Matter
-
Principles and Techniques
-
Front Matter
-
-
Specifying with Temporal Logic
-
Front Matter
-
About this book
This book provides a basic introduction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.
Authors and Affiliations
-
Laboratoire Spécification et Vérification, CNRS, UMR 8643, Ecole Normale Supérieure de Cachan, Cachan Cedex, France
Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen
-
Département d’Informatique et Recherche Opérationnelle, Université de Montréal, Montréal, Canada
Pierre McKenzie
Bibliographic Information
Book Title: Systems and Software Verification
Book Subtitle: Model-Checking Techniques and Tools
Authors: Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, … Pierre McKenzie
DOI: https://doi.org/10.1007/978-3-662-04558-9
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2001
Hardcover ISBN: 978-3-540-41523-7Published: 20 June 2001
Softcover ISBN: 978-3-642-07478-3Published: 15 December 2010
eBook ISBN: 978-3-662-04558-9Published: 17 April 2013
Edition Number: 1
Number of Pages: XII, 190
Additional Information: Original French edition published by Vuibert, Paris, 1999
Topics: Software Engineering/Programming and Operating Systems, Software Engineering, Artificial Intelligence, Mathematical Logic and Formal Languages, Management of Computing and Information Systems