2203 search results - page 85 / 441 » Temporal Abstract Interpretation |
131
Voted
ICTAC
2004
Springer
15 years 8 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
126
Voted
CSR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...
126
click to vote
ENTCS
2010
15 years 3 months ago
2010
The validity/satisfiability problem for most propositional interval temporal logics is (highly) undecidable, under very weak assumptions on the class of interval structures in whi...
104
click to vote
LREC
2010
15 years 4 months ago
2010
In this paper, we present ISO-TimeML, a revised and interoperable version of the temporal markup language, TimeML. We describe the changes and enrichments made, while framing the ...
128
click to vote
SPIN
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...