7. CAV 1995:
Randal E. Bryant
: Multipliers and Dividers: Insights on Arithmetic Circuits Verification (Extended Abstract).
, Thomas Filkorn
: Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving.
E. Allen Emerson
: Methods for Mu-calculus Model Checking: A Tutorial (Abstract).
Kenneth L. McMillan
: Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings.
, Radhia Cousot
: Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form.
: Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions.