𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on the verification of automata specifications of probabilistic real-time systems

✍ Scribed by Arnaldo V. Moura; Guilherme A. Pinto

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
95 KB
Volume
82
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A statecharts-based specification and ve
A statecharts-based specification and verification of real-time job scheduling systems
✍ A. Sowmya πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 606 KB

Real-time job scheduling is a difficult problem. The job scheduling system re ceives jobs from the environment, each job with its own real-time deadline. Queueing and scheduling may still be necessary, in order to maximize the processor usage and also to impose job priorities. In order to comptue di

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