๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Soundness of a purely syntactical formalization of weakest preconditions

โœ Scribed by Rudolf Berghammer

Book ID
104445712
Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
951 KB
Volume
35
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] FMโ€™9
[Lecture Notes in Computer Science] FMโ€™99 โ€” Formal Methods Volume 1709 || A weakest precondition semantics for an object-oriented language of refinement
โœ Wing, Jeannette M.; Woodcock, Jim; Davies, Jim ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 322 KB

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place.