Symbolic Model Checking for Real-Time Systems

• 1 June 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 111  (2) , 193-244
• https://doi.org/10.1006/inco.1994.1045

Abstract

Keywords

• CLOCKS
• MODEL
• SYMBOLIC
• FINITE
• REAL TIME
• CHECKING
• CALCULUS
• CONSTRAINTS
• SAFETY