A Simplification of a Real-Time Verification Problem

Indranil Saha, Janardan Misra, Suman Roy

We revisit the problem of real-time verification with dense dynamics using timeout and calendar based models and simplify this to a finite state verification problem. To overcome t…