1633 search results - page 273 / 327 » On the Verification of Temporal Properties |
108
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
109
click to vote
CORR
2008
Springer
14 years 12 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
119
click to vote
PVLDB
2010
14 years 10 months ago
2010
Analysts have marked Event Processing as the most growing segment in enterprise computing during years 2008 and 2009, furthermore, this trend is expected to continue. Many of the ...
ECOOP
1993
Springer
15 years 3 months ago
1993
Springer
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...
ICCD
1995
IEEE
15 years 3 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...