Automated Technology for Verification and Analysis

8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

  • Ahmed Bouajjani
  • Wei-Ngan Chin
Conference proceedings ATVA 2010

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Krishnendu Chatterjee, Thomas A. Henzinger
      Pages 1-16
    2. Joxan Jaffar, Jorge Navas, Andrew Santosa
      Pages 17-17
    3. Igor Walukiewicz
      Pages 18-21
  3. Regular Papers

    1. Shaull Almagor, Yoram Hirshfeld, Orna Kupferman
      Pages 22-36
    2. Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier
      Pages 37-51
    3. Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled, Sophie Quinton
      Pages 52-66
    4. Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski
      Pages 67-81
    5. Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
      Pages 97-111
    6. Emmanuel Filiot, Nayiong Jin, Jean-François Raskin
      Pages 112-127
    7. Carlo A. Furia
      Pages 128-142
    8. Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-Francois Raskin
      Pages 158-172
    9. Cristian Gherghina, Cristina David
      Pages 173-187
    10. Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
      Pages 188-202
    11. Frédéric Herbreteau, B Srivathsan
      Pages 218-232
    12. Kamal Lodaya, A V Sreejith
      Pages 245-258

About these proceedings

Keywords

Constraint Distributed Systems Genetic Programming Real Time Systems algorithms automated theorem proving complexity design model transformation process calculi programming verification verification tools

Editors and affiliations

  • Ahmed Bouajjani
    • 1
  • Wei-Ngan Chin
    • 2
  1. 1.University of ParisParisFrance
  2. 2.National University of SingaporeRepublic of Singapore

Bibliographic information

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