Formal verification of timed systems: a survey and perspective

✍ Scribed by Farn Wang

• Book ID: 118694777
• Publisher: IEEE
• Year: 2004
• Tongue: English
• Weight: 607 KB
• Volume: 92
• Category: Article
• ISSN: 0018-9219
• DOI: 10.1109/jproc.2004.831197

✦ Synopsis

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, and finally some new related issues. We also make a few comments according to our experience with verification tool design and implementation.