Proving systolic systems correct

DOI10.1145/5956.5999zbMath0598.68030OpenAlexW2011523523MaRDI QIDQ3732952

Matthew C. B. Hennessy

Publication date: 1986

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: http://www.acm.org/pubs/contents/journals/toplas/1986-8/

zbMATH Keywords

verificationalgorithmsinductionspecificationsproof systemimplementationssyntactic transformations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items

Higher-level synchronising devices in Meije-SCCS, Generic systolic arrays: A methodology for systolic design, Synthesis, structure and power of systolic computations, Automatic verification of a class of systolic circuits, To the role of decomposition strategy in high parallel algorithms