DocumentCode
1039419
Title
Formal verification of timed systems: a survey and perspective
Author
Wang, Farn
Author_Institution
Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Volume
92
Issue
8
fYear
2004
Firstpage
1283
Lastpage
1305
Abstract
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, reduction 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.
Keywords
embedded systems; formal verification; reviews; specification languages; state-space methods; temporal logic; formal verification; pioneering tools; real time systems; reduction technique; specification language; state space construction procedure; state space representation; temporal logic; timed systems; verification framework; Clocks; Costs; Data structures; Formal verification; Logic; Mathematical model; Polynomials; Real time systems; Specification languages; Very large scale integration; Embedded systems; formal methods; formal verification; models; real-time systems; specification; temporal logics; theory; tools;
fLanguage
English
Journal_Title
Proceedings of the IEEE
Publisher
ieee
ISSN
0018-9219
Type
jour
DOI
10.1109/JPROC.2004.831197
Filename
1316040
Link To Document