Computer Aided Verification

15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings

  • Warren A. HuntJr.
  • Fabio Somenzi
Conference proceedings CAV 2003

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

Table of contents

  1. Front Matter
  2. Extending Bounded Model Checking

    1. K. L. McMillan
      Pages 1-13
    2. Leonardo de Moura, Harald Rueß, Maria Sorea
      Pages 14-26
  3. Symbolic Model Checking

    1. Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout
      Pages 27-39
    2. Gianfranco Ciardo, Radu Siminiceanu
      Pages 40-53
    3. Orna Grumberg, Tamir Heyman, Assaf Schuster
      Pages 54-66
  4. Games, Trees, and Counters

    1. Rajeev Alur, Salvatore La Torre, P. Madhusudan
      Pages 67-79
    2. Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro
      Pages 93-105
  5. Tool Presentations I

    1. Bikram Sengupta, Rance Cleaveland
      Pages 106-109
    2. Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge
      Pages 110-113
    3. Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci
      Pages 118-121
    4. Dirk Beyer, Claus Lewerentz, Andreas Noack
      Pages 122-125
  6. Abstraction I

    1. Edmund Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang
      Pages 126-140
    2. Shuvendu K. Lahiri, Randal E. Bryant, Byron Cook
      Pages 141-153
  7. Dense Time

    1. Gaurav Chakravorty, Paritosh K. Pandya
      Pages 167-179
    2. Patricia Bouyer, Deepak D’Souza, P. Madhusudan, Antoine Petit
      Pages 180-192
    3. Bernard Boigelot, Frédéric Herbreteau, Sébastien Jodogne
      Pages 193-205

About these proceedings

Keywords

Erfüllbarkeitsproblem der Aussagenlogik algorithms automata automated deduction computational logic formal methods logic microprocessor optimization security systems analysis systems design theorem provers theorem proving verification

Editors and affiliations

  • Warren A. HuntJr.
    • 1
  • Fabio Somenzi
    • 2
  1. 1.Department of Computer SciencesThe University of TexasAustinUSA
  2. 2.University of Colorado at Boulder 

Bibliographic information

  • DOI https://doi.org/10.1007/b11831
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-40524-5
  • Online ISBN 978-3-540-45069-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book