Cook, Byron. <br/><br/>
Verification, Model Checking, and Abstract Interpretation  8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /  [electronic resource] : 
edited by Byron Cook, Andreas Podelski. 
 - XI, 395 p. Also available online.  online resource. 
 - Lecture Notes in Computer Science,  4349  0302-9743 ; .
 - Lecture Notes in Computer Science,  4349 .
<br/><br/>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 -- Invited Tutorial -- 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 -- Invited Talk -- 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 -- Invited Tutorial -- The Constraint Database Approach to Software Verification -- Session 6 -- Constraint Solving for Interpolation -- Assertion Checking Unified -- Invariant Synthesis for Combined Theories. 
<br/><br/>ZDB-2-SCS ZDB-2-LNC 
<br/><br/><label>ISBN: </label>9783540697381 
<br/><br/><label>Standard No.: </label>10.1007/978-3-540-69738-1  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Logic design.<br/>Computer Science.<br/>Logics and Meanings of Programs.<br/>Programming Languages, Compilers, Interpreters.<br/>Software Engineering.
<br/><br/><label>LC Class. No.: </label>QA76.9.L63 QA76.5913 QA76.63 
<br/><br/><label>Dewey Class. No.: </label>005.1015113