Proceedings of the 11th International Conference on Computer Aided Verification

Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography)

Proceedings of the 9th International SPIN Workshop on Model Checking of Software

Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods

FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design

Theorem Proving for Verification

MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes

Combining Theorem Proving and Model Checking through Symbolic Analysis

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory

Symbolic Analysis of Transition Systems

ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications

Theorem proving for verification

Modeling and verification of parallel processes

Formal Verification of a Complex Pipelined Processor

Formal Methods in System Design

Simulation and verification I: from simulation to verification (and back)

Proceedings of the 35th conference on Winter simulation: driving innovation