Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Formal specification in VHDL for hardware verification
Proceedings of the conference on Design, automation and test in Europe
Using MTBDDs for Compostion and Model Checking of Real-Time Systems
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
| Hi-index | 0.00 |