Mechanical certification of systolic algorithms

DOI10.1007/BF00245022zbMath0677.68009OpenAlexW2026452251MaRDI QIDQ1123588

P. A. Subrahmanyam, Sudarshan P. Purushothaman

Publication date: 1989

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00245022

zbMATH Keywords

systolic algorithmsprogram verificationtheorem power

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Automatic verification of a class of systolic circuits

This page was built for publication: Mechanical certification of systolic algorithms