380 search results - page 15 / 76 » Model Checking Temporal Logics of Knowledge in Distributed S... |
164
click to vote
LICS
2003
IEEE
15 years 5 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
101
click to vote
CAV
2009
Springer
15 years 4 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
CMSB
2008
Springer
15 years 1 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
105
click to vote
ISSE
2007
14 years 11 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
164
click to vote
WRLA
2010
14 years 10 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...