Advertisement

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
  7. Session 4. Counter and Hybrid Systems Verification

    1. Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
      Pages 180-195
    2. Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn
      Pages 196-211
    3. Khalil Ghorbal, Eric Goubault, Sylvie Putot
      Pages 212-226
    4. Marius Bozga, Radu Iosif, Filip Konečný
      Pages 227-242
  8. Session 5. Memory Consistency

    1. Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
      Pages 258-272
    2. Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin
      Pages 273-287
  9. Session 6. Verification of Hardware and Low Level Code

    1. Aditya Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder et al.
      Pages 288-305
    2. Christopher L. Conway, Clark Barrett
      Pages 306-320
    3. Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin
      Pages 339-353
  10. Session 7. Tools

    1. Stefan Blom, Jaco van de Pol, Michael Weber
      Pages 354-359
    2. Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon
      Pages 360-364
  11. Session 8. Synthesis

    1. Rüdiger Ehlers
      Pages 365-379
    2. Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh
      Pages 380-395
    3. Susanne Graf, Doron Peled, Sophie Quinton
      Pages 396-409
    4. Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann
      Pages 410-424
    5. Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri et al.
      Pages 425-429
    6. Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter
      Pages 430-433
  12. Session 9. Concurrent Program Verification I

    1. Viktor Vafeiadis
      Pages 450-464
    2. Pavol Černý, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur
      Pages 465-479
    3. Ernie Cohen, Michał Moskal, Wolfram Schulte, Stephan Tobies
      Pages 480-494
    4. Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik
      Pages 495-510
  13. Session 10. Compositional Reasoning

    1. Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang
      Pages 511-526
    2. Rishabh Singh, Dimitra Giannakopoulou, Corina Păsăreanu
      Pages 527-542
    3. Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa’ar
      Pages 543-557
    4. Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa’ar
      Pages 558-561
  14. Session 11. Tools

    1. Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri et al.
      Pages 562-565
    2. Manuel Mazo Jr., Anna Davitian, Paulo Tabuada
      Pages 566-569

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
  • Buy this book on publisher's site