✦ LIBER ✦

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

✍ Scribed by Frédéric Boniol; Jérôme Ermont; Claire Pagetti

Publisher: Springer
Year: 2009
Tongue: English
Weight: 969 KB
Volume: 5
Category: Article
ISSN: 1614-5046
DOI: 10.1007/s11334-009-0093-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

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 || 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 Optical Wavelet-Transform with

Real-time Optical Wavelet-Transform with Positive and Negative Signals

✍ Katsuhisa Hirokawa; Kazuyoshi Itoh; Yoshiki Ichioka 📂 Article 📅 1997 🏛 Optical Society of Japan 🌐 English ⚖ 963 KB

Modeling and verification of real-time s

Modeling and verification of real-time systems based on equations

✍ Kazuhiro Ogata; Kokichi Futatsugi 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 358 KB

Translation and Optimization in the Veri

Translation and Optimization in the Verification of Real-Time Systems

✍ Ernst-Rüdiger Olderog 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 48 KB

Compilation or translation is not only an issue at the level of program but also at the level of specification. This talk considers the design of real-time software for Programmable Logic Controllers (PLCs) and discusses questions of correctness and optimization for translations between different se