✦ LIBER ✦

Procedure-Level Verification of Real-time Concurrent Systems

✍ Scribed by Farn Wang; Chia-Tien Lo

Book ID: 110257390
Publisher: Springer US
Year: 1999
Tongue: English
Weight: 279 KB
Volume: 16
Category: Article
ISSN: 0922-6443
DOI: 10.1023/a:1008008003332

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real-Time Systems || Analysis and Verifi

Real-Time Systems || Analysis and Verification of Non-Real-Time Systems

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 279 KB 👁 2 views

Efficient Verification of Parallel Real–

Efficient Verification of Parallel Real–Time Systems

✍ Tomohiro Yoneda; Bernd–Holger Schlingloff 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 452 KB

Formal verification of real-time systems

Formal verification of real-time systems with

✍ Didier Lime; Olivier (H. ) Roux 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 713 KB

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

Real-Time Verification Techniques for Un

Real-Time Verification Techniques for Untimed Systems

✍ Xiaoqun Du; C.R. Ramakrishnan; Scott A. Smolka 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 187 KB

Mechanizing the verification of real-tim

Mechanizing the verification of real-time discrete systems

✍ J.S. Ostroff 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 687 KB