Doron Peled;Amir Pnueli
-;-
Using Program Transformations to Provide Safety Properties for Real-Time Systems
Real-Time Systems
Snapshot verification
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
On Topological Hierarchies of Temporal Properties
Fundamenta Informaticae