𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal Verification of a Partial-Order Reduction Technique for Model Checking

✍ Scribed by Ching-Tsun Chou; Doron Peled

Book ID
110233276
Publisher
Springer Netherlands
Year
1999
Tongue
English
Weight
147 KB
Volume
23
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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