✦ LIBER ✦

Verification of Real-Time Systems using Linear Relation Analysis

✍ Scribed by Nicolas Halbwachs; Yann-Erick Proy; Patrick Roumanoff

Book ID: 110266127
Publisher: Springer
Year: 1997
Tongue: English
Weight: 540 KB
Volume: 11
Category: Article
ISSN: 0925-9856
DOI: 10.1023/a:1008678014487

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

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

Analysis and verification of real-time s

Analysis and verification of real-time systems using quantitative symbolic algorithms

✍ Sérgio Vale Aguiar Campos; Edmund Clarke 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 177 KB

On Verification of Linear Occurrence Pro

On Verification of Linear Occurrence Properties of Real-Time Systems

✍ Choe Changil; Dang Van Hung 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 321 KB

Correctness verification and performance

Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets

✍ Bucci, G.; Sassoli, L.; Vicario, E. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 774 KB

Efficient Verification of Parallel Real–

Efficient Verification of Parallel Real–Time Systems

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