Skip to main content
  • Conference proceedings
  • © 2007

Automated Technology for Verification and Analysis

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

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.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (40 papers)

  1. Front Matter

  2. Invited Talks

    1. Policies and Proofs for Code Auditing

      • Nathan Whitehead, Jordan Johnson, Martín Abadi
      Pages 1-14
    2. 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
    7. Proving Termination of Tree Manipulating Programs

      • Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomáš Vojnar
      Pages 145-161
    8. Symbolic Fault Tree Analysis for Reactive Systems

      • Marco Bozzano, Alessandro Cimatti, Francesco Tapparo
      Pages 162-176
    9. Computing Game Values for Crash Games

      • Thomas Gawlitza, Helmut Seidl
      Pages 177-191
    10. 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
    11. Deciding Simulations on Probabilistic Automata

      • Lijun Zhang, Holger Hermanns
      Pages 207-222
    12. Mechanizing the Powerset Construction for Restricted Classes of ω-Automata

      • Christian Dax, Jochen Eisinger, Felix Klaedtke
      Pages 223-236
    13. Verifying Heap-Manipulating Programs in an SMT Framework

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

Other Volumes

  1. Automated Technology for Verification and Analysis

Keywords

  • Simulation
  • automata
  • construction
  • embedded systems
  • formal method
  • formal methods
  • formal performance analysis
  • hardware verification
  • hybrid systems
  • model checking
  • modeling
  • petri net
  • probabilistic models
  • real-time
  • verification

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions