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

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
  • 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