𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A comparison of tools for teaching formal software verification

✍ Scribed by Ingo Feinerer; Gernot Salzer

Publisher
Springer
Year
2008
Tongue
English
Weight
194 KB
Volume
21
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Tools for software process engineering
Tools for software process engineering
✍ Robert A. Brownlie; Philip E. Brown; Kathleen Culver-Lozo; James J. Striegel πŸ“‚ Article πŸ“… 2002 πŸ› Institute of Electrical and Electronics Engineers 🌐 English βš– 196 KB πŸ‘ 2 views
A formal model for verification of dynam
A formal model for verification of dynamic consistency of KBSs
✍ L.M. Laita; B. RamΓ­rez; L.De Ledesma; A. Riscos πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 1018 KB

This paper proposes a translation of the main concepts involved in Knowledge Based Systems Verification into a theoretical metalanguage based on Halmos and Leblanc's "Monadic and Polyadic Algebras." These algebras are expressed in terms of a few basic concepts of preorder-category theory. Any Knowl