3387 search results - page 156 / 678 » Model-Checking for Real-Time Systems |
214
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
218
click to vote
RTCSA
2003
IEEE
16 years 3 days ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
195
click to vote
ASE
2004
15 years 6 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
188
click to vote
ECOOP
2006
Springer
15 years 8 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
153
click to vote
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
Real-time information dissemination is of increasing importance to our society. Existing work mainly focuses on delivering information from sources to sinks in a timely manner bas...