✦ LIBER ✦

Formal Verification of Timed Systems: A Survey and Perspective

✍ Scribed by Falk, H.

Book ID: 118694780
Publisher: IEEE
Year: 2004
Tongue: English
Weight: 30 KB
Volume: 92
Category: Article
ISSN: 0018-9219
DOI: 10.1109/jproc.2004.831210

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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,

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

Formal verification of circuits and syst

Formal verification of circuits and systems

✍ P. P. Chakrabarti 📂 Article 📅 2002 🏛 Indian Academy of Sciences 🌐 English ⚖ 9 KB

Symbolic Verification and Analysis of Di

Symbolic Verification and Analysis of Discrete Timed Systems

✍ Jürgen Ruf; Thomas Kropf 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 466 KB

Formal verification of analog and mixed

Formal verification of analog and mixed signal designs: A survey

✍ Mohamed H. Zaki; Sofiène Tahar; Guy Bois 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 273 KB

Formal specification and verification of

Formal specification and verification of microprocessor systems

✍ Jeffrey J Joyce 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 926 KB