11. CAV 1999: Trento, Italy

Tutorials and Invited Papers

Processor Verification

Protocol Verification and Testing

Infinite State Space

Theory of Verification

Linear Temporal Logic

Modeling of Systems

Symbolic Model-Checking

Theorem Proving

Automata-Theoretic Methods

Abstraction

Tool Presentations