Mechanical Verification of Adder Circuits using Rewrite RuleLaboratory
Formal Methods in System Design
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
Formal Methods in System Design
Induction Proofs with Partial Functions
Journal of Automated Reasoning
Closure Induction in a Z-Like Language
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Automated Induction with Constrained Tree Automata
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
A Formalization of Powerlist Algebra in ACL2
Journal of Automated Reasoning
Tree automata with memory, visibility and structural constraints
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Reasoning about incompletely defined programs
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
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 |