Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. ProceedingsAuthor: Rajeev Alur, Doron A. Peled Published by Springer Berlin Heidelberg ISBN: 978-3-540-22342-9 DOI: 10.1007/b98490Table 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