𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An engineering process for the verification of real-time systems

✍ Scribed by A. Burns; T. -M. Lin

Publisher
Springer
Year
2006
Tongue
English
Weight
361 KB
Volume
19
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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