Skip to main content
SpringerLink
Log in

Automated Technology for Verification and Analysis

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

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Sungdeok (Steve) Cha

    1. College of Information & Communication, Division of Computer and Communication Engineering, Korea University, Seoul, South Korea

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jin-Young Choi

    1. Departmnet of Computer Science and Engineering, Korea University, Seoul, South Korea

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Moonzoo Kim

    1. KAIST, Department of Computer Science, Daejon, South Korea

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Insup Lee

    1. School of Engineering and Applied Science, Department of Computer and Information Science,, University of Pennsylvania, Philadelphia, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Mahesh Viswanathan

    1. Thomas M. Siebel Center , University of Illinois at Urbana-Champaign, Urbana, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ATVA 2008.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (36 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Tests, Proofs and Refinements

      • Sriram K. Rajamani
      Pages 1-2

    2. Formal Verification and Biology

      • David L. Dill
      Pages 3-3

    3. Trust and Automation in Verification Tools

      • Natarajan Shankar
      Pages 4-17

  3. Model Checking

    1. CTL Model-Checking with Graded Quantifiers

      • Alessandro Ferrante, Margherita Napoli, Mimmo Parente
      Pages 18-32

    2. Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms

      • Gal Katz, Doron Peled
      Pages 33-47

    3. Computation Tree Regular Logic for Genetic Regulatory Networks

      • Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong
      Pages 48-63

    4. Compositional Verification for Component-Based Systems and Application

      • Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen
      Pages 64-79

    5. A Direct Algorithm for Multi-valued Bounded Model Checking

      • Jefferson O. Andrade, Yukiyoshi Kameyama
      Pages 80-94

  4. Software Verification

    1. Model Checking Recursive Programs with Exact Predicate Abstraction

      • Arie Gurfinkel, Ou Wei, Marsha Chechik
      Pages 95-110

    2. Loop Summarization Using Abstract Transformers

      • Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
      Pages 111-125

    3. Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions

      • Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan
      Pages 126-140

  5. Decision Procedures

    1. Automating Algebraic Specifications of Non-freely Generated Data Types

      • Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
      Pages 141-155

    2. Interpolants for Linear Arithmetic in SMT

      • Christopher Lynch, Yuefeng Tang
      Pages 156-170

    3. SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems

      • Andreas Eggers, Martin Fränzle, Christian Herde
      Pages 171-185

    4. SMELS: Satisfiability Modulo Equality with Lazy Superposition

      • Christopher Lynch, Duc-Khanh Tran
      Pages 186-200

  6. Linear-Time Analysis

    1. Controllable Test Cases for the Distributed Test Architecture

      • Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
      Pages 201-215

  7. Tool Demonstration Papers

    1. Goanna: Syntactic Software Model Checking

      • Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer
      Pages 216-221

    2. A Dynamic Assertion-Based Verification Platform for Validation of UML Designs

      • Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan
      Pages 222-227

    3. CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications

      • Ansuman Banerjee, Kausik Datta, Pallab Dasgupta
      Pages 228-233
Back to top

Other volumes

  1. Automated Technology for Verification and Analysis

Keywords

About this book

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.

Editors and Affiliations

  • College of Information & Communication, Division of Computer and Communication Engineering, Korea University, Seoul, South Korea

    Sungdeok (Steve) Cha

  • Departmnet of Computer Science and Engineering, Korea University, Seoul, South Korea

    Jin-Young Choi

  • KAIST, Department of Computer Science, Daejon, South Korea

    Moonzoo Kim

  • School of Engineering and Applied Science, Department of Computer and Information Science,, University of Pennsylvania, Philadelphia, USA

    Insup Lee

  • Thomas M. Siebel Center , University of Illinois at Urbana-Champaign, Urbana, USA

    Mahesh Viswanathan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation