Automated Correctness Condition Generation for Formal Verification ofSynthesized RTL Designs
Formal Methods in System Design - Special issue on formal methods for computer-added design
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Formalization of data flow computing and a coinductive approach to verifying flowware synthesis
Transactions on computational science I
Hi-index | 0.00 |