Mechanical Verification of Adder Circuits using Rewrite RuleLaboratory
Formal Methods in System Design
Mechanical Verification of Hypercube Algorithms
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Induction-Oriented Formal Verification in Symmetric Interconnection Networks
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Coverset induction with partiality and subsorts: a powerlist case study
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Hi-index | 0.00 |