Skip to main content
Springer Nature Link
Log in

Verification, Model Checking, and Abstract Interpretation

7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. E. Allen Emerson

    1. Aiken Computation Laboratory, Harvard University,, Cambridge, Mass, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Kedar S. Namjoshi

    1. Bell Laboratories, Alcatel-Lucent,  

    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 3855)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: VMCAI 2006.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
Softcover Book USD 54.99
Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Closure Operators for ROBDDs

    • Peter Schachte, Harald Søndergaard
    Pages 1-16

  3. A CLP Method for Compositional and Intermittent Predicate Abstraction

    • Joxan Jaffar, Andrew E. Santosa, Răzvan Voicu
    Pages 17-32

  4. Combining Shape Analyses by Intersecting Abstractions

    • Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham
    Pages 33-48

  5. A Complete Abstract Interpretation Framework for Coverability Properties of WSTS

    • Pierre Ganty, Jean-François Raskin, Laurent Van Begin
    Pages 49-64

  6. Complexity Results on Branching-Time Pushdown Model Checking

    • Laura Bozzelli
    Pages 65-79

  7. A Compositional Logic for Control Flow

    • Gang Tan, Andrew W. Appel
    Pages 80-94

  8. Detecting Non-cyclicity by Abstract Compilation into Boolean Functions

    • Stefano Rossignoli, Fausto Spoto
    Pages 95-110

  9. Efficient Strongly Relational Polyhedral Analysis

    • Sriram Sankaranarayanan, Michael A. Colón, Henny Sipma, Zohar Manna
    Pages 111-125

  10. Environment Abstraction for Parameterized Verification

    • Edmund Clarke, Muralidhar Talupur, Helmut Veith
    Pages 126-141

  11. Error Control for Probabilistic Model Checking

    • Håkan L. S. Younes
    Pages 142-156

  12. Field Constraint Analysis

    • Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin Rinard
    Pages 157-173

  13. A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety

    • Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula
    Pages 174-189

  14. Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems

    • Katia Hristova, Yanhong A. Liu
    Pages 190-206

  15. A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs

    • Jesse Bingham, Zvonimir Rakamarić
    Pages 207-221

  16. Monitoring Off-the-Shelf Components

    • A. Prasad Sistla, Min Zhou, Lenore D. Zuck
    Pages 222-236

  17. Parallel External Directed Model Checking with Linear I/O

    • Shahid Jabbar, Stefan Edelkamp
    Pages 237-251

  18. Piecewise FIFO Channels Are Analyzable

    • Naghmeh Ghafari, Richard Trefler
    Pages 252-266

  19. Ranking Abstraction of Recursive Programs

    • Ittai Balaban, Ariel Cohen, Amir Pnueli
    Pages 267-281

  20. Relative Safety

    • Joxan Jaffar, Andrew E. Santosa, Răzvan Voicu
    Pages 282-297
Back to top

Other volumes

  1. Verification, Model Checking, and Abstract Interpretation

Editors and Affiliations

  • Aiken Computation Laboratory, Harvard University,, Cambridge, Mass, USA

    E. Allen Emerson

  • Bell Laboratories, Alcatel-Lucent,  

    Kedar S. Namjoshi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation