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

The formal specifications for protocols of decoders

โœ Scribed by Yuan Meng-ting; Wu Guo-qing; Shu Feng-di

Book ID
105633869
Publisher
Wuhan University
Year
2004
Tongue
English
Weight
346 KB
Volume
9
Category
Article
ISSN
1007-1202

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Formal specification of a Web services p
Formal specification of a Web services protocol
โœ James E. Johnson; David E. Langworthy; Leslie Lamport; Friedrich H. Vogt ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 192 KB
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