𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Efficient Verification of Parallel Real–Time Systems

✍ Scribed by Tomohiro Yoneda; Bernd–Holger Schlingloff

Book ID
110266184
Publisher
Springer
Year
1997
Tongue
English
Weight
452 KB
Volume
11
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real-Time Systems || Verification Using
Real-Time Systems || Verification Using Timed Automata
✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 192 KB 👁 2 views

Finite automata and temporal logics have been used extensively to formally verify qualitative properties of concurrent systems. The properties include deadlock-or livelock-freedom, the eventual occurrence of an event, and the satisfaction of a predicate. The need to reason with absolute time is unne