3786184

Formal Verification of Timed Systems: A Survey and Perspective

H. Falk

92

8

2004

1281

1282

"Formal verification","Real time systems","Clocks","Data structures","Computational modeling","Very large scale integration","Logic testing","Timing","Synchronization","Tree graphs"

Proceedings of the IEEE

ieee

0018-9219

jour

10.1109/JPROC.2004.831210

1316039