✦ LIBER ✦

Interface-Based Specification and Verification of Concurrency Controllers

✍ Scribed by Aysu Betin-Can; Tevfik Bultan

Book ID: 104445215
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 939 KB
Volume: 89
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80007-6

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

Specification and design of concurrent c

Specification and design of concurrent control units

✍ G. Klein-Hessling 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 452 KB

Modular specification and verification o

Modular specification and verification of XTP

✍ Peter Herrmann; Heiko Krumm 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 714 KB

Verification and refinement with fine-gr

Verification and refinement with fine-grained action-based concurrent objects

✍ Emil Sekerinski 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 259 KB

Specification and implementation of conc

Specification and implementation of concurrency in a simple database system

✍ B Gliss; J Gorski 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 713 KB

Formal Specification and Verification of

Formal Specification and Verification of Complex Systems

✍ S. Gnesi 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 90 KB