✦ LIBER ✦

A note on specifying and verifying concurrent processes

✍ Scribed by Leszek Holenderski

Book ID: 113162659
Publisher: Elsevier Science
Year: 1984
Tongue: English
Weight: 593 KB
Volume: 18
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(84)90028-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A survey on temporal logics for specifyi

A survey on temporal logics for specifying and verifying real-time systems

✍ Savas Konur 📂 Article 📅 2013 🏛 Springer-Verlag 🌐 English ⚖ 574 KB

Specifying and verifying PLC systems wit

Specifying and verifying PLC systems with TLA+ : A case study

✍ Hehua Zhang; Stephan Merz; Ming Gu 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 499 KB

We report on a method for formally specifying and verifying programmable logic controllers (PLCs) in the specification language TLA + . The specification framework is generic. It separates the description of the environment from that of the controller itself and its structure is consistent with the

Specifying and verifying interaction pro

Specifying and verifying interaction protocols in a temporal action logic

✍ Laura Giordano; Alberto Martelli; Camilla Schwind 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 239 KB

Specifying and verifying reactive system

Specifying and verifying reactive systems in a multi-language environment

✍ Agathe Merceron; Monica Müllerburg; G.Michele Pinna 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 151 KB

On verifying that a concurrent program s

On verifying that a concurrent program satisfies a nondeterministic specification

✍ A.P. Sistla 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 730 KB

A method for specifying, implementing, a

A method for specifying, implementing, and verifying media access control protocols

✍ Brooks, C.A.; Cieslak, R.; Varaiya, P. 📂 Article 📅 1990 🏛 IEEE 🌐 English ⚖ 848 KB