Temporal Proof Methodologies for Timed Transition-Systems

• 1 August 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 112  (2) , 273-337
• https://doi.org/10.1006/inco.1994.1060

Abstract

Keywords

• TIME PROPERTIES
• PROOF METHODOLOGIES
• TIME BOUNDED
• TEMPORAL
• VERIFICATION
• EXPLICIT
• CORRESPONDING
• CLOCK