A model for synchronous switching circuits and its theory of correctness

DOI10.1007/BF00464355zbMath0777.94026OpenAlexW3149435168MaRDI QIDQ685112

C. A. R. Hoare, Chaochen Zhou

Publication date: 30 September 1993

Published in: Formal Methods in System Design (Search for Journal in Brave)

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

zbMATH Keywords

correctnesssynchronous switching circuits

Mathematics Subject Classification ID

Cites Work

• A theory for the derivation of combination C-mos circuit designs
• Fixed points of increasing functions
• A lattice-theoretical fixpoint theorem and its applications
• A Switch-Level Model and Simulator for MOS Digital Systems
• Graph-Based Algorithms for Boolean Function Manipulation
• Guarded commands, nondeterminacy and formal derivation of programs
• Unnamed Item

This page was built for publication: A model for synchronous switching circuits and its theory of correctness