Beatrice
Berard
Michel
Bidoit
Alain
Finkel
Fran~ois
Laroussinie
Antoine
Petit
Laure
Petrucci
Philippe
Schnoebelen
Laboratoire Specification et Verification
CNRS,
UMR
8643
Ecole Normale Superieure de Cachan
61,
avenue du
President
Wilson
94235
Cachan Cedex, France
http://www.lsv.ens-cachan.fr/
Pierre
McKenzie
Departement d'Informatique
et Recherche
Operationnelle
Universite
de Montreal
CP
6128
succ Centre-Ville
Montreal
QC
H3C
3]7,
Canada
http://www.iro. umontreal.ca/-mckenzi e/
Translated
with
the
help
of
Pierre
McKenzie,
Universite
de
Montreal
Updated version
of
the French language edition:
"Verification
de logiciels. Techniques et outils du model-checking",
coordonne par Philippe Schnoebelen
Copyright
©
Vuibert, Paris,
1999
Tous
droits
reserves
Library
of
Congress Cataloging-in-Publication Data applied for
Die Deutsche Bibliothek -
CIP-
Einheitsaufnahme
Systems
and software verification: model-checking techniques and tools
I
Berard
...
ACM
Computing
Classification (1998): D.2.4, D.2, D.4.5, F.3.1-2, F.4.1, G.4, !.2.2
This work
is
subject to copyright.
All
rights are reserved, whether the whole or
part
of
the material
is
concerned, specifically the rights
of
translation, reprinting, reuse
of
illustrations, recitation, broad-
casting, reproduction on microfilm
or
in any other
way,
and storage in data banks. Duplication
of
this publication
or
parts thereof is permitted only
under
the provisions
of
the German Copyright
Law
of
September 9,
1965,
in its current version,
and
permission for use must always be obtained
from
Springer-
Verlag.
Violations are liable for prosecution under the German Copyright
Law.
http:/ /www.springer.de
The use
of
general descriptive names, registered names, trademarks, etc. in this publication does not
imply, even in the absence
of
a specific statement, that such names are exempt from the relevant pro-
tective laws and regulations and therefore free for general use.
Cover design: KiinkelLopka, Heidelberg
Typesetting: Camera-ready by authors using a
Springer
T£X
macro package
Printed on acid-free paper
SPIN
11395898
41/3111/xo-
54
3 2 1
© Springer-Verlag Berlin Heidelberg 2001
Originally published by Springer-Verlag Berlin Heidelberg
New
York
in
2001
Softcover reprint
of
the hardcover
1st
edition
2001
ISBN 978-3-642-07478-3
ISBN 978-3-662-04558-9 (eBook)
DOI 10.1007/978-3-662-04558-9
评论0
最新资源