Computer aided verification : 13th international conference, Paris, France, July 18 22, 2001 ; proceedings | Berry, Gérard Hrsg. edt, CAV 13 2001 Paris (DE-601)330611690 (DE-588)10022578-0, CAV (13 2001.07.18-22 Paris), International Conference on Computer Aided Verification (13 (Paris) : 2001.07.18-22)

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings
Author: Gérard Berry, Hubert Comon, Alain Finkel
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-42345-4
DOI: 10.1007/3-540-44585-4

Table of Contents:

Software Documentation and the Verification Process
Certifying Model Checkers
Formalizing a JVML Verifier for Initialization in a Theorem Prover
Automated Inductive Verification of Parameterized Protocols?
Efficient Model Checking Via Büchi Tableau Automata?
Fast LTL to Büchi Automata Translation
A Practical Approach to Coverage in Model Checking
A Fast Bisimulation Algorithm
Symmetry and Reduced Symmetry in Model Checking?
Transformation-Based Verification Using Generalized Retiming
Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions
CLEVER: Divide and Conquer Combinational Logic Equivalence VERification with False Negative Elimination
Finite Instantiations in Equivalence Logic with Uninterpreted Functions
Model Checking with Formula-Dependent Abstract Models
Verifying Network Protocol Implementations by Symbolic Refinement Checking
Automatic Abstraction for Verification of Timed Circuits and Systems?
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM?
Analysis of Recursive State Machines
Parameterized Verification with Automatically Computed Inductive Assertions?
EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations

Download Zip 1 Pdf 6.93 MB More File Format

Download PDF . 6.93 MB