𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Real-Time Verification Techniques for Untimed Systems

✍ Scribed by Xiaoqun Du; C.R. Ramakrishnan; Scott A. Smolka

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
187 KB
Volume
39
Category
Article
ISSN
1571-0661

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

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