Verification Methods for the Divergent Runs of Clock Systems

• Authors:

• Thomas A. Henzinger;Peter W. Kopke

• Affiliations:

• -;-

• Venue:
• ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
• Year:
• 1994