Computer Aided Verification

22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

  • Tayssir Touili
  • Byron Cook
  • Paul Jackson

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. David Basin, Felix Klaedtke, Samuel Müller
      Pages 1-18
    2. Somesh Jha
      Pages 19-19
    3. Maged M. Michael
      Pages 23-23
  3. Invited Tutorials

    1. Robert Brayton, Alan Mishchenko
      Pages 24-40
    2. Thomas Reps, Junghee Lim, Aditya Thakur, Gogul Balakrishnan, Akash Lal
      Pages 41-56
  4. Session 1. Software Model Checking

    1. Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu
      Pages 72-88
    2. Daniel Kroening, Natasha Sharygina, Aliaksei Tsitovich, Christoph M. Wintersteiger
      Pages 89-103
    3. Kenneth L. McMillan
      Pages 104-118
    4. Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg
      Pages 119-122
    5. Ming Kawaguchi, Patrick M. Rondon, Ranjit Jhala
      Pages 123-126
    6. Sudipta Kundu, Malay K. Ganai, Chao Wang
      Pages 127-131
  5. Session 2. Model Checking and Automata

    1. Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukáš Holík, Chih-Duo Hong, Richard Mayr et al.
      Pages 132-147
    2. Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
      Pages 148-161
  6. Session 3. Tools

    1. Nicolas Caniart
      Pages 162-166
    2. Amir Pnueli, Yaniv Sa’ar, Lenore D. Zuck
      Pages 171-174
    3. Roland Meyer, Tim Strazny
      Pages 175-179

About these proceedings

Keywords

Extension Simulation algorithms artificial neural network assembler computer aided verification concurrent algorithms formal methods hybrid systems learning machine code memory management policy monitoring proving verification

Editors and affiliations

  • Tayssir Touili
    • 1
  • Byron Cook
    • 2
  • Paul Jackson
    • 3
  1. 1.LIAFACNRS and University Paris DiderotParis Cedex 13France
  2. 2.Microsoft ResearchCambridgeUK
  3. 3.School of InformaticsUniversity of EdinburghEdinburghUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-14295-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-14294-9
  • Online ISBN 978-3-642-14295-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book