Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2007

Automated Technology for Verification and Analysis

5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Editors:

  1. Kedar S. Namjoshi
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tomohiro Yoneda
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Teruo Higashino
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Yoshio Okamura
    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 4762)

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

Conference series link(s): ATVA: International Symposium on Automated Technology for Verification and Analysis

Conference proceedings info: ATVA 2007.

Sections

Buy it now

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

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

Table of contents (40 papers)

  1. Front Matter

    PDF

  2. Invited Talks

    1. Policies and Proofs for Code Auditing

      • Nathan Whitehead, Jordan Johnson, Martín Abadi
      Pages 1-14

    4. Branching vs. Linear Time: Semantical Perspective

      • Sumit Nain, Moshe Y. Vardi
      Pages 19-34

  3. Regular Papers

    1. Mind the Shapes: Abstraction Refinement Via Topology Invariants

      • Jörg Bauer, Tobe Toben, Bernd Westphal
      Pages 35-50

    2. Complete SAT-Based Model Checking for Context-Free Processes

      • Geng-Dian Huang, Bow-Yaw Wang
      Pages 51-65

    3. Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver

      • David Walter, Scott Little, Chris Myers
      Pages 66-81

    4. Model Checking Contracts – A Case Study

      • Gordon Pace, Cristian Prisacariu, Gerardo Schneider
      Pages 82-97

    5. On the Efficient Computation of the Minimal Coverability Set for Petri Nets

      • Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
      Pages 98-113

    6. Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces

      • Scott Little, David Walter, Kevin Jones, Chris Myers
      Pages 114-128

    8. Proving Termination of Tree Manipulating Programs

      • Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomáš Vojnar
      Pages 145-161

    9. Symbolic Fault Tree Analysis for Reactive Systems

      • Marco Bozzano, Alessandro Cimatti, Francesco Tapparo
      Pages 162-176

    10. Computing Game Values for Crash Games

      • Thomas Gawlitza, Helmut Seidl
      Pages 177-191

    11. Timed Control with Observation Based and Stuttering Invariant Strategies

      • Franck Cassez, Alexandre David, Kim G. Larsen, Didier Lime, Jean-François Raskin
      Pages 192-206

    12. Deciding Simulations on Probabilistic Automata

      • Lijun Zhang, Holger Hermanns
      Pages 207-222

    13. Mechanizing the Powerset Construction for Restricted Classes of ω-Automata

      • Christian Dax, Jochen Eisinger, Felix Klaedtke
      Pages 223-236

    14. Verifying Heap-Manipulating Programs in an SMT Framework

      • Zvonimir Rakamarić, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti
      Pages 237-252
Back to top

Other Volumes

  1. Automated Technology for Verification and Analysis

Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation