Computer aided verification [electronic resource] : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 , proceedings

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
Author: Rajeev Alur, Doron A. Peled
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-22342-9
DOI: 10.1007/b98490

Table of Contents:

• Rob Tristan Gerth: 1956–2003
• Static Program Analysis via 3-Valued Logic
• Deductive Verification of Pipelined Machines Using First-Order Quantification
• A Formal Reduction for Lock-Free Parallel Algorithms
• An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking
• Termination of Linear Programs
• Symbolic Model Checking of Non-regular Properties
• Proving More Properties with Bounded Model Checking
• Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings
• Using Interface Refinement to Integrate Formal Verification into the Design Cycle
• Indexed Predicate Discovery for Unbounded System Verification
• Range Allocation for Separation Logic
• An Experimental Evaluation of Ground Decision Procedures
• DPLL(T): Fast Decision Procedures
• Verifying ω-Regular Properties of Markov Chains
• Statistical Model Checking of Black-Box Probabilistic Systems
• Compositional Specification and Model Checking in GSTE
• GSTE Is Partitioned Model Checking
• Stuck-Free Conformance
• Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors

Includes bibliographical references and index
Description based on print version record