Skip to main content
  • Conference proceedings
  • © 2008

Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Conference proceedings info: VMCAI 2008.

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 (26 papers)

  1. Front Matter

  2. CTL as an Intermediate Language

    • Neil D. Jones, René Rydhof Hansen
    Pages 4-4
  3. Multi-valued Logics, Automata, Simulations, and Games

    • Orna Kupferman, Yoad Lustig
    Pages 5-5
  4. Verification of Register Allocators

    • Jens Palsberg
    Pages 6-6
  5. An Improved Tight Closure Algorithm for Integer Octagonal Constraints

    • Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
    Pages 8-21
  6. Handling Parameterized Systems with Non-atomic Global Conditions

    • Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine
    Pages 22-36
  7. Abstract Interpretation of the Physical Inputs of Embedded Programs

    • Olivier Bouissou, Matthieu Martel
    Pages 37-51
  8. Diagnostic Information for Realizability

    • A. Cimatti, M. Roveri, V. Schuppan, A. Tchaltsev
    Pages 52-67
  9. Approximation Refinement for Interpolation-Based Model Checking

    • Vijay D’Silva, Mitra Purandare, Daniel Kroening
    Pages 68-82
  10. Abstract Interpretation of Cellular Signalling Networks

    • Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine
    Pages 83-97
  11. Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?

    • Rayna Dimitrova, Andreas Podelski
    Pages 98-111
  12. Model Checking for Action Abstraction

    • Harald Fecher, Michael Huth
    Pages 112-126
  13. On Bridging Simulation and Formal Verification

    • Eugene Goldberg
    Pages 127-141
  14. Extending Model Checking with Dynamic Analysis

    • Alex Groce, Rajeev Joshi
    Pages 142-156
  15. Deriving Bisimulations by Simplifying Partitions

    • Isabella Mastroeni
    Pages 157-171
  16. Precise Set Sharing Analysis for Java-Style Programs

    • Mario Méndez-Lojo, Manuel V. Hermenegildo
    Pages 172-187
  17. Runtime Checking for Separation Logic

    • Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin
    Pages 203-217

Other Volumes

  1. Verification, Model Checking, and Abstract Interpretation

Keywords

  • Constraint
  • Debugging
  • Simulation
  • abstract domains
  • abstract interpretation
  • abstraction
  • algorithms
  • formal methods
  • formal verification
  • optimization
  • program analysis
  • program semantics
  • programming
  • programming language
  • 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