𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Symbolic Verification and Analysis of Discrete Timed Systems

✍ Scribed by Jürgen Ruf; Thomas Kropf

Book ID
111542028
Publisher
Springer
Year
2003
Tongue
English
Weight
466 KB
Volume
23
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Presburger liveness verification of disc
Presburger liveness verification of discrete timed automata
✍ Zhe Dang; Pierluigi San Pietro; Richard A. Kemmerer 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 259 KB

Using an automata-theoretic approach, we investigate the decidability of liveness properties (called Presburger liveness properties) for timed automata when Presburger formulas on conÿgurations are allowed. While the general problem of checking a temporal logic such as TPTL augmented with Presburger

Formal verification of timed systems: a
Formal verification of timed systems: a survey and perspective
✍ Farn Wang 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 607 KB

An overview of the current state of the art of formal verification of real-time systems is presented. We discuss commonly accepted models, specification languages, verification frameworks, state-space representation schemes, state-space construction procedures,eduction techniques, pioneering tools,