12. CAV 2000:
Chicago, IL, USA
Invited Talks and Tutorials
: Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion.
: Invited Address: Applying Formal Methods to Cryptographic Protocol Analysis.
: Automatic Verification of Parameterized Cache Coherence Protocols.
Miroslav N. Velev
: Formal Verification of VLIW Microprocessors with Speculative Execution.
: Tuning SAT Checkers for Bounded Model Checking.
John M. Rushby
: Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification.
: TAPS: A First-Order Verifier for Cryptographic Protocols.
: VINAS-P: A Tool for Trace Theoretic Verification of Timed Asynchronous Circuits.