CAV (DIMACS/AMS volume)

Keyphrases

Publications

volume 3, 1991

Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990 CAV (DIMACS/AMS volume) 3 (1991)

1990

Michel Langevin
Automated RTL Verification Based on Predicate Calculus. CAV (DIMACS/AMS volume) (1990)
Paolo Camurati, Marco Gilli, Paolo Prinetto, Matteo Sonza Reorda
Model Checking and Graph Theory in Sequential ATPG. CAV (DIMACS/AMS volume) (1990)
Bernhard Josko
A Context Dependent Equivalence Relation between Kripke Structures. CAV (DIMACS/AMS volume) (1990)
David K. Probst, Hon Fung Li
Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems. CAV (DIMACS/AMS volume) (1990)
Gil Shurek, Orna Grumberg
The Modular Framework of Computer-Aided Verification. CAV (DIMACS/AMS volume) (1990)
Jean Christophe Lloret, Pierre Azéma, François Vernadat
Compositional Design and Verification of Communication Protocols, Using Labelled PETRI Nets. CAV (DIMACS/AMS volume) (1990)
Hyunwoo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi
Results on the Interface between Formal Verification and ATPG. CAV (DIMACS/AMS volume) (1990)
Antti Valmari
A Stubborn Attack on State Explosion. CAV (DIMACS/AMS volume) (1990)
Hiroshi Nakamura, Yuji Kukimoto, Masahiro Fujita, Hidehiko Tanaka
A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio. CAV (DIMACS/AMS volume) (1990)
Carl Pixley
A Computation Theory and Implementation of Sequential Hardware Equivalence. CAV (DIMACS/AMS volume) (1990)
Wuxu Peng, S. Purushothaman Iyer
A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines. CAV (DIMACS/AMS volume) (1990)
Valérie Roy, Robert de Simone
Auto/Autograph. CAV (DIMACS/AMS volume) (1990)
Patrice Godefroid
Using Partial Orders to Improve Automatic Verification Methods. CAV (DIMACS/AMS volume) (1990)
Rance Cleaveland
On Automatically Distinguishing Inequivalent Processes. CAV (DIMACS/AMS volume) (1990)
Michel Barbeau, Gregor von Bochmann
Extension of the Karp and Miller Procedure to LOTOS Specifications. CAV (DIMACS/AMS volume) (1990)
Linda A. Ness
Issues Arising in the Analysis of L.0. CAV (DIMACS/AMS volume) (1990)
Edmund M. Clarke
Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem. CAV (DIMACS/AMS volume) (1990)
Hiromi Hiraishi, Shintaro Meki, Kiyoharu Hamaguchi
Vectorized Model Checking for Computation Tree Logic. CAV (DIMACS/AMS volume) (1990)
Ryszard Janicki, Maciej Koutny
On Some Implementation of Optimal Simulations. CAV (DIMACS/AMS volume) (1990)
Susanne Graf, Bernhard Steffen
Compositional Minimization of Finite State Systems. CAV (DIMACS/AMS volume) (1990)
Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs
Minimal Model Generation. CAV (DIMACS/AMS volume) (1990)
Gérard Berthelot, Colette Johnen, Laure Petrucci
PAPETRI: Environment for the Analysis of PETRI Nets. CAV (DIMACS/AMS volume) (1990)
Edmund M. Clarke, Robert P. Kurshan
Preface. CAV (DIMACS/AMS volume) (1990)
Mark B. Josephs, Jan Tijmen Udding
An Algebra for Delay-Insensitive Circuits. CAV (DIMACS/AMS volume) (1990)
James M. Morris, Mark Howard
Program Verification by Symbolic Execution of Hyperfinite Ideal Machines. CAV (DIMACS/AMS volume) (1990)
Randal E. Bryant, Carl-Johan H. Seger
Formal Verification of Digital Circuits Using Symbolic Ternary System Models. CAV (DIMACS/AMS volume) (1990)
Olivier Coudert, Jean Christophe Madre, Christian Berthet
Verifying Temporal Properties of Sequential Machines without Building Their State Diagrams. CAV (DIMACS/AMS volume) (1990)
Paul Loewenstein, David L. Dill
Verification of Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic. CAV (DIMACS/AMS volume) (1990)
Hans Eveking
Automatic Verification of Extensions of Hardware Descriptions. CAV (DIMACS/AMS volume) (1990)
David A. Carrington, Kenneth Arthur Robinson
Tool Support for the Refinement Calculus. CAV (DIMACS/AMS volume) (1990)
Mark Bickford, Mandayam K. Srivas
A Computer-Aided Verification Tool for Finite State Controller Systems. CAV (DIMACS/AMS volume) (1990)
Eric Madelaine, Didier Vergamini
Finiteness Conditions and Structural Construction of Automata for All Process Algebras. CAV (DIMACS/AMS volume) (1990)
Jerry R. Burch
Verifying Liveness Properties by Verifying Safety Properties. CAV (DIMACS/AMS volume) (1990)
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity. CAV (DIMACS/AMS volume) (1990)
Howard Wong-Toi, David L. Dill
Synthesizing Processes and Schedulers from Temporal Specifications. CAV (DIMACS/AMS volume) (1990)
Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis
Memory Efficient Algorithms for the Verification of Temporal Properties. CAV (DIMACS/AMS volume) (1990)
Victor Yodaiken
The Algebraic Feedback Product of Automata. A State Machine Based Model of Concurrent Systems. CAV (DIMACS/AMS volume) (1990)
Ugo A. Buy, Robert Moll
Liveness Analysis and the Automatic Generation of Concurrent Programs. CAV (DIMACS/AMS volume) (1990)