Sciweavers

81
Voted
ATVA
2005
Springer
112views Hardware» more  ATVA 2005»
15 years 2 months ago
Reasoning About Transfinite Sequences
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
Stéphane Demri, David Nowak