Computer Aided Verification

11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

  • Nicolas Halbwachs
  • Doron Peled
Conference proceedings CAV 1999

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1633)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Tutorials and Invited Papers

  3. Processor Verification

  4. Protocol Verification and Testing

    1. Thierry Jéron, Pierre Morel
      Pages 108-122
    2. Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli
      Pages 123-133
  5. Infinite State Space

    1. Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson
      Pages 134-145
    2. Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech
      Pages 146-159
    3. Satyaki Das, David L. Dill, Seungjoon Park
      Pages 160-171
  6. Theory of Verification

    1. Orna Kupferman, MosheY. Vardi
      Pages 172-183
    2. Rom Langerak, Ed Brinksma
      Pages 184-195
    3. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
      Pages 208-221
  7. Linear Temporal Logic

    1. Roderick Bloem, Kavita Ravi, Fabio Somenzi
      Pages 222-235
    2. Marco Daniele, Fausto Giunchiglia, Moshe Y. Vardi
      Pages 249-260
  8. Modeling of Systems

    1. Glenn Bruns, Patrice Godefroid
      Pages 274-287
    2. John Matthews, John Launchbury
      Pages 288-300
    3. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
      Pages 301-315
  9. Symbolic Model-Checking

    1. Jørn Lind-Nielsen, Henrik Reif Andersen
      Pages 316-327
    2. Bwolen Yang, Reid Simmons, Randal E. Bryant, David R. O’Hallaron
      Pages 328-340
    3. G. Behrmann, K. G. Larsen, J. Pearson, C. Weise, W. Yi
      Pages 341-353
  10. Theorem Proving

    1. Marcelo Glusman, Shmuel Katz
      Pages 354-367
    2. Panagiotis Manolios, Kedar Namjoshi, Robert Sumners
      Pages 369-379
  11. Automata-Theoretic Methods

    1. Kedar S. Namjoshi, Robert P. Kurshan
      Pages 394-405
    2. Vamsi Boppana, Sreeranga P. Rajan, Koichiro Takayama, Masahiro Fujita
      Pages 418-430
  12. Abstraction

    1. Hassen Saïdi, Natarajan Shankar
      Pages 443-454
    2. Amir Pnueli, Yoav Rodeh, Ofer Shtrichman, Michael Siegel
      Pages 455-469
    3. Randal E. Bryant, Steven German, Miroslav N. Velev
      Pages 470-482
  13. Tool Presentations

    1. Peter Buchholz, Peter Kemper
      Pages 483-486
    2. H. Hermanns, V. Mertsiotakis, M. Siegle
      Pages 487-490
    3. David Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt
      Pages 491-494
    4. A. Cimatti, E. Clarke, F. Giunchiglia, M. Roveri
      Pages 495-499
  14. Back Matter
    Pages 505-506

About these proceedings


This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.
The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.


Automat automata logic model checking modeling testing theorem proving verification

Editors and affiliations

  • Nicolas Halbwachs
    • 1
  • Doron Peled
    • 2
    • 3
  1. 1.Vérimag/CNRSGièresFrance
  2. 2.Bell LaboratoriesMurray HillUSA
  3. 3.The TechnionHaifaIsrael

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66202-0
  • Online ISBN 978-3-540-48683-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment