Symboloc Model Checking for Event-Driven Real-Time Systems

Jin Yang, Aloysius K. Mok, Farn Wang. Symboloc Model Checking for Event-Driven Real-Time Systems. ACM Transactions on Programming Languages and Systems, 19(2):386-412, 1997. [doi]

Abstract

Abstract is missing.