13. FORTE / 20. PSTV 2000: Pisa, Italy

Part One: Verification and Theorem Proving

Part Two: Test Generation

Part Three: Model Checking - Theory

Part Four: Model Checking - Applications

Part Five: Multicast Protocol Analysis and Simulation

Part Six: Exhaustive and Probabilistic Testing

Part Seven: Hardware Specification, Implementation and Testing

Part Eight: Formal Semantics

Part Nine: Invited Papers on Verification and Security