𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal specification of hierarchical reports

✍ Scribed by M. R. Taranovskii

Publisher
Springer US
Year
1990
Tongue
English
Weight
633 KB
Volume
25
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Formal Verification of Activity-Based Sp
Formal Verification of Activity-Based Specification of Protocols
✍ K.C. Anand; R.K. Shyamasundar πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 418 KB

In this paper, we describe a method to formally verify activity-based specifications such as EBSDL. Starting from EBSDL-like specifications that specify engineering activities in terms of input and output behaviors, we derive programs in an asynchronous language CSP-R. CSP-R programs are then verifi

Formal specification of beliefs in multi
Formal specification of beliefs in multi-agent systems
✍ Massimo Benerecetti; Enrico Giunchiglia; Luciano Serafini; Adolfo Villafiorita πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 254 KB πŸ‘ 2 views

The goal of this paper is to present a logical framework for the formalization of agents' mutual beliefs in a Multi Agent system. The approach is based on a combination of Ε½ . extensional specifications of beliefs and context-based finite presentation of the specifications by employing a particular