文档介绍：Lecture Notes puter Science 2294
Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
1
Berlin
Heidelberg
New York
Barcelona
Hong Kong
London
Milan
Paris
Tokyo
Agostino Cortesi (Ed.)
Verification,
Model Checking, and
Abstract Interpretation
Third International Workshop, VMCAI 2002
Venice, Italy, January 21-22, 2002
Revised Papers
11
Series Editors
Gerhard Goos, Karlsruhe University, Germany
Juris Hartmanis, Cornell University, NY, USA
Jan van Leeuwen, Utrecht University, herlands
Volume Editor
Agostino Cortesi
Università Ca’ Foscari di Venezia
Dipartimento di Informatica
Via Torino 155, 30170 Mestre-Venezia, Italy
E-mail: ******@
Cataloging-in-Publication Data applied for
Die Deutsche Bibliothek - CIP-Einheitsaufnahme
Verification, model checking, and abstract interpretation : third
international workshop ; revised papers / VMCAI 2002, Venice, Italy, January
21 - 22, 2002. Agostino Cortesi (ed.). - Berlin ; Heidelberg ; New York ;
Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer, 2002
(Lecture notes puter science ; Vol. 2294)
ISBN 3-540-43631-6
CR Subject Classification (1998): -2, ,
ISSN 0302-9743
ISBN 3-540-43631-6 Springer-Verlag Berlin Heidelberg New York
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, re-use of illustrations, recitation, broadcasting,
reproduction on microfilms 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.
Springer-Verlag Berlin Heidelberg New York
a member of BertelsmannSpringer Science+Business Media GmbH
© Springer-Verlag Berlin Heidel