11 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.LO2010
A Decidable Timeout based Extension of Propositional Linear Temporal Logic
Janardan Misra, Suman Roy
We develop a timeout based extension of propositional linear temporal logic (which we call TLTL) to specify timing properties of timeout based models of real time systems. TLTL for…
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…