1 option
Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings / edited by Byron Cook, Andreas Podelski.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 4349.
- Theoretical Computer Science and General Issues ; 4349
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer logic.
- Programming languages (Electronic computers).
- Software Engineering.
- Logics and Meanings of Programs.
- Programming Languages, Compilers, Interpreters.
- Local Subjects:
- Software Engineering.
- Logics and Meanings of Programs.
- Programming Languages, Compilers, Interpreters.
- Physical Description:
- 1 online resource (XI, 395 pages).
- Edition:
- First edition 2007.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
- System Details:
- text file PDF
- Contents:
- Invited Talk
- DIVINE: DIscovering Variables IN Executables
- Session 1
- Verifying Compensating Transactions
- Model Checking Nonblocking MPI Programs
- Model Checking Via ?CFA
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System
- Invited Tutorial
- Interpolants and Symbolic Model Checking
- Session 2
- Shape Analysis of Single-Parent Heaps
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures
- On Flat Programs with Lists
- Invited Talk
- Automata-Theoretic Model Checking Revisited
- Session 3
- Language-Based Abstraction Refinement for Hybrid System Verification
- More Precise Partition Abstractions
- The Spotlight Principle
- Lattice Automata
- Learning Algorithms and Formal Verification (Invited Tutorial)
- Session 4
- Constructing Specialized Shape Analyses for Uniform Change
- Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
- Automated Verification of Shape and Size Properties Via Separation Logic
- Towards Shape Analysis for Device Drivers
- Session 5
- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
- Symmetry and Completeness in the Analysis of Parameterized Systems
- Better Under-Approximation of Programs by Hiding Variables
- The Constraint Database Approach to Software Verification
- Session 6
- Constraint Solving for Interpolation
- Assertion Checking Unified
- Invariant Synthesis for Combined Theories.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-69738-1
- 9783540697381
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.