𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A decomposition rule for the hoare logic

✍ Scribed by Tadao Takaoka

Book ID
113162979
Publisher
Elsevier Science
Year
1987
Tongue
English
Weight
348 KB
Volume
26
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Hoare logic for linear systems
A Hoare logic for linear systems
✍ Rob Arthan, Ursula Martin, Paulo Oliva πŸ“‚ Article πŸ“… 2011 πŸ› Springer 🌐 English βš– 368 KB
A proof rule for restoring logic circuit
A proof rule for restoring logic circuits
✍ J.A. Bergstra; J.W. Klop πŸ“‚ Article πŸ“… 1983 πŸ› Elsevier Science 🌐 English βš– 843 KB

An axiomatic semantics is given for restoring logic circuits, both statically and dynamically. As an example the Muller C-element is discussed in detail. It is shown that a consistent circuit reacts in an unambiguous way on new inputs.