Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography)
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
An Overview of Formal Verification for the Time-Triggered Architecture
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Formal Verification of a Complex Pipelined Processor
Formal Methods in System Design
| Hi-index | 0.00 |