Advertisement

Computer Aided Verification

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

  • Warren A. HuntJr.
  • Fabio Somenzi

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
  8. Tool Presentations II

    1. Aarti Gupta, Malay Ganai, Chao Wang, Zijiang Yang, Pranav Ashar
      Pages 206-209
    2. Marsha Chechik, Arie Gurfinkel
      Pages 210-214
    3. Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
      Pages 215-218
    4. Liana Bozga, Yassine Lakhnech, Michaël Périn
      Pages 219-222
  9. Infinite State Systems

    1. Bernard Boigelot, Axel Legay, Pierre Wolper
      Pages 223-235
    2. Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d’Orso
      Pages 236-248
    3. Constantinos Bartzis, Tevfik Bultan
      Pages 249-261
  10. Abstraction II

    1. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer
      Pages 262-274
    2. Kedar S. Namjoshi
      Pages 288-300
  11. Applications

    1. Grigore Roşu, Ram Prasad Venkatesan, Jon Whittle, Laurenţiu Leuştean
      Pages 301-314
    2. Hardi Hungar, Oliver Niese, Bernhard Steffen
      Pages 315-327
    3. Marcelo Glusman, Shmuel Katz
      Pages 328-340
  12. Theorem Proving

    1. Shuvendu K. Lahiri, Randal E. Bryant
      Pages 341-354
    2. Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe
      Pages 355-367
  13. Automata-Based Verification

    1. Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer et al.
      Pages 368-380
    2. Yonit Kesten, Nir Piterman, Amir Pnueli
      Pages 381-393
  14. Invariants

    1. Husam Abu-Haimed, Sergey Berezin, David L. Dill
      Pages 407-419
    2. Michael A. Colón, Sriram Sankaranarayanan, Henny B. Sipma
      Pages 420-432
  15. Explicit Model Checking

    1. Gerd Behrmann, Kim G. Larsen, Radek Pelánek
      Pages 433-445
    2. Gordon J. Pace, Frédéric Lang, Radu Mateescu
      Pages 446-459
  16. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications