𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A proof rule for while loop in VDM

✍ Scribed by Xinjie Jiang; Yongsen Xu

Book ID
112947382
Publisher
Springer
Year
1989
Tongue
English
Weight
226 KB
Volume
4
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Infinite proof rules for loops
Infinite proof rules for loops
✍ F. KrΓΆger πŸ“‚ Article πŸ“… 1980 πŸ› Springer-Verlag 🌐 English βš– 932 KB
A simple proof for a simple rule
A simple proof for a simple rule
✍ A. MartΓ­n SΓ‘nchez; F. Vera TomΓ© πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 104 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.