share record
persistent URL:
Michel Langevin , Eduard Cerny : Comparing Generic State Machines. CAV 1991 : 466-476 share record
persistent URL:
Huimin Lin : PAM: A Process Algebra Manipulator. CAV 1991 : 136-146 share record
persistent URL:
Wenbo Mao , George J. Milne : An Automated Proof Technique for Finite-State Machine Equivalence. CAV 1991 : 233-243 share record
persistent URL:
Sjouke Mauw , Gert J. Veltink : A Proof Assistant for PSF. CAV 1991 : 158-168 share record
persistent URL:
Matthias Mutz : Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior. CAV 1991 : 277-287 share record
persistent URL:
Monica Nesi : Mechanizing a Proof by Induction of Process Algebrs Specifications in Higher Order Logic. CAV 1991 : 288-298 share record
persistent URL:
Rocco De Nicola , Alessandro Fantechi , Stefania Gnesi , Gioia Ristori : An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. CAV 1991 : 37-47 share record
persistent URL:
Xavier Nicollin , Joseph Sifakis : An Overview and Synthesis on Timed Process Algebras. CAV 1991 : 376-398 share record
persistent URL:
David K. Probst , Hon Fung Li : Partial-Order Model Checking: A Guide for the Perplexed. CAV 1991 : 322-331 share record
persistent URL:
Anne Rasse : Error Diagnosis in Finite Communicating Systems. CAV 1991 : 114-124 share record
persistent URL:
Klaus Schneider , Ramayya Kumar , Thomas Kropf : Automating Most Parts of Hardware Proofs in HOL. CAV 1991 : 365-375 share record
persistent URL:
Carl-Johan H. Seger , Jeffrey J. Joyce : A Two-Level Formal Verification Methodology using HOL and COSMOS. CAV 1991 : 299-309 share record
persistent URL:
A. Prasad Sistla , Lenore D. Zuck : Automatic Temporal Verification of Buffer Systems. CAV 1991 : 59-69 share record
persistent URL:
Colin Sterling : Taming Infinite State Spaces. CAV 1991 : 1 share record
persistent URL:
Ranga Vemuri , Anuradha Sridhar : Temporal Precondition Verification of Design Transformations. CAV 1991 : 125-135