Research Catalog

Title

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings / Pierre Wolper, ed.

Author

CAV (Conference) (7th : 1995 : Liège, Belgium)

Publication

Berlin ; New York : Springer-Verlag, [1995], ©1995.

Items in the Library & Off-site

Holdings

Details

Additional Authors

Wolper, Pierre.

Description

x, 450 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 939

Uniform Title

Lecture notes in computer science ; 939.

Alternative Title

CAV 95

Subjects

• Computer software > Verification > Congresses
• Electronic digital computers > Evaluation > Congresses

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Multipliers and Dividers: Insights on Arithmetic Circuit Verification / R. E. Bryant -- Global Rebuilding of OBDD's - Avoiding Memory Requirement Maxima / J. Bern, C. Meinel and A. Slobodova -- Generating BDD Models for Process Algebra Terms / A. Dsouza and B. Bloom -- Hardware Verification Using Monadic Second-Order Logic / D. A. Basin and N. Klarlund -- Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms / B. Jonsson and L. Kempe -- Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style Reasoning and Theorem Proving / J. Dingel and T. Filkorn -- CAVEAT: Technique and Tool for Computer Aided VErification and Transformation / E. P. Gribomont and D. Rosetto -- An Integration of Model Checking with Automated Proof Checking / S. Rajan, N. Shankar and M. K. Srivas -- Automatic Datapath Abstraction in Hardware Systems / R. Hojati and R. K. Brayton -- Toupie = [mu]-Calculus + Constraints / A. Rauzy --
• Safety Property Verification of Estered Programs and Applications to Telecommunications Software / L. J. Jagadeesan, C. Puchol and J. E. Von Olnhausen -- Methods for [mu]-Calculus Model Checking / E. A. Emerson -- Efficient Checking of Behavioural Relations and Modal Assertions Using Fixed-Point Inversion / H. R. Andersen and B. Vergauwen -- It Usually Works: The Temporal Logic of Stochastic Systems / A. Aziz, V. Singhal, F. Balarin, R. K. Brayton and A. L. Sangiovanni-Vincentelli -- Local Liveness for Compositional Modeling of Fair Reactive Systems / R. Alur and T. A. Henzinger -- Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings / K. L. McMillan -- From Duration Calculus to Linear Hybrid Automata / A. Bouajjani, Y. Lakhnech and R. Robbana -- Local Model Checking for Real-Time Systems / O. V. Sokolsky and S. A. Smolka -- Algorithmic Analysis of Nonlinear Hybrid Systems / T. A. Henzinger and P.-H. Ho --
• On Polynomial-Size Programs Winning Finite-State Games / H. Lescow -- The Rabin Index and Chain Automata, with Applications to Automata and Games / S. C. Krishnan, A. Puri, R. K. Brayton and P. P. Varaiya -- An Automata-Theoretic Approach to Fair Realizability and Synthesis / M. Y. Vardi -- Supervisory Control of Finite State Machines / A. Aziz, F. Balarin, R. K. Brayton, M. D. DiBenedetto, A. Saldanha and A. L. Sangiovanni-Vincentelli -- Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-Condition, Rule-Based and Game-Theoretic Form / P. Cousot and R. Cousot -- Utilizing Symmetry when Model Checking Under Fairness Assumptions: an Automata-Theoretic Approach / E. A. Emerson and A. P. Sistla -- Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions / O. Kupferman (Bernholtz) -- Modelling Asynchrony with a Synchronous Model / R. P. Kurshan, M. Merritt, A. Orda and S. R. Sachs --
• On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes / J. Esparza and A. Kiehn -- Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study / A. Th. Eiriksson and K. L. McMillan -- Automated Analysis of an Audio Control Protocol / P.-H. Ho and H. Wong-Toi -- Interactively Verifying a Simple Real-Time Scheduler / C. Fidge, P. Kearney and M. Utting -- Verification of Real-Time Systems by Successive Over and Under Approximation / D. Dill and H. Wong-Toi -- Efficient Timing Analysis of a Class of Petri Nets / H. Hulgaard and S. M. Burns -- Verifying [omega]-Regular Properties for a Subclass of Linear Hybrid Systems / A. Bouajjani and R. Robbana.

ISBN

3540600450

OCLC

ocm32903576

Owning Institutions

Columbia University Libraries