Automated Technology for Verification and Analysis

6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

  • Sungdeok (Steve) Cha
  • Jin-Young Choi
  • Moonzoo Kim
  • Insup Lee
  • Mahesh Viswanathan
Conference proceedings ATVA 2008

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Sriram K. Rajamani
      Pages 1-2
    2. David L. Dill
      Pages 3-3
    3. Natarajan Shankar
      Pages 4-17
  3. Model Checking

    1. Alessandro Ferrante, Margherita Napoli, Mimmo Parente
      Pages 18-32
    2. Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong
      Pages 48-63
    3. Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen
      Pages 64-79
    4. Jefferson O. Andrade, Yukiyoshi Kameyama
      Pages 80-94
  4. Software Verification

    1. Arie Gurfinkel, Ou Wei, Marsha Chechik
      Pages 95-110
    2. Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
      Pages 111-125
    3. Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan
      Pages 126-140
  5. Decision Procedures

    1. Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
      Pages 141-155
    2. Christopher Lynch, Yuefeng Tang
      Pages 156-170
    3. Andreas Eggers, Martin Fränzle, Christian Herde
      Pages 171-185
    4. Christopher Lynch, Duc-Khanh Tran
      Pages 186-200
  6. Linear-Time Analysis

    1. Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
      Pages 201-215
  7. Tool Demonstration Papers

    1. Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer
      Pages 216-221
    2. Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan
      Pages 222-227
    3. Ansuman Banerjee, Kausik Datta, Pallab Dasgupta
      Pages 228-233
    4. Jiri Barnat, Lubos Brim, Petr Ročkai
      Pages 234-239
    5. Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-Francois Raskin
      Pages 240-245
    6. Elie Bursztein
      Pages 246-251
    7. John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej
      Pages 252-257
  8. Timed and Stochastic Systems

    1. Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra
      Pages 274-288
    2. Eckard Böde, Thomas Peikenkamp, Jan Rakow, Samuel Wischmeyer
      Pages 303-317
  9. Theory

    1. Hiroaki Shimizu, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
      Pages 318-331
    2. Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun
      Pages 332-346
    3. Florian Horn, Wolfgang Thomas, Nico Wallmeier
      Pages 361-373
  10. Short Papers

    1. Wei Dong, Martin Leucker, Christian Schallhart
      Pages 386-396
    2. Marcel Kyas, Cristian Prisacariu, Gerardo Schneider
      Pages 397-407
    3. Carlo A. Furia, Paola Spoletini
      Pages 408-417
    4. César Andrés, Mercedes G. Merayo, Manuel Núñez
      Pages 418-427
  11. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008.

The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as on applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers.


algorithms ants automata design embedded systems fault tolerance first-order logic formal methods genetic programming model checking petri nets programming testing validation verification

Editors and affiliations

  • Sungdeok (Steve) Cha
    • 1
  • Jin-Young Choi
    • 2
  • Moonzoo Kim
    • 3
  • Insup Lee
    • 4
  • Mahesh Viswanathan
    • 5
  1. 1.College of Information & Communication, Division of Computer and Communication EngineeringKorea UniversitySeoulSouth Korea
  2. 2.Departmnet of Computer Science and EngineeringKorea UniversitySeoulSouth Korea
  3. 3.KAIST, Department of Computer ScienceDaejonSouth Korea
  4. 4.School of Engineering and Applied Science, Department of Computer and Information Science,University of PennsylvaniaPhiladelphiaUSA
  5. 5.Thomas M. Siebel Center University of Illinois at Urbana-ChampaignUrbanaUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-88386-9
  • Online ISBN 978-3-540-88387-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences