Mechanical certification of systolic algorithms

• 1 March 1989
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 5  (1)
• https://doi.org/10.1007/bf00245022

Abstract

Keywords

• PROGRAM VERIFICATION
• THEOREM PROVER
• SYSTOLIC ALGORITHMS