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

    1. Ravi Hosabettu, Mandayam Srivas, Ganesh Gopalakrishnan
      Pages 47-59
    2. Armin Biere, Edmund Clarke, Richard Raimi, Yunshan Zhu
      Pages 60-71
    3. Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz
      Pages 72-83
  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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/3-540-48683-6
  • 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
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace