most citedA Simplification of a Real-Time Verification Problem

11 citations · 11 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2010★ 11 cited

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…