✦ LIBER ✦

Formal verification of real-time systems with

✍ Scribed by Didier Lime; Olivier (H. ) Roux

Publisher: Springer US
Year: 2008
Tongue: English
Weight: 713 KB
Volume: 41
Category: Article
ISSN: 0922-6443
DOI: 10.1007/s11241-008-9059-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Specification and Verification of

Formal Specification and Verification of Real-Time Systems using Graph Grammars

✍ Leonardo Michelon; Simone André da Costa; Leila Ribeiro 📂 Article 📅 2007 🏛 SciELO 🌐 English ⚖ 306 KB

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

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

Verification of real-time systems with p

Verification of real-time systems with preemption: negative and positive results

✍ Frédéric Boniol; Jérôme Ermont; Claire Pagetti 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 969 KB