819 search results - page 21 / 164 » Using Assumptions to Distribute CTL Model Checking |
101
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
DEXAW
2006
IEEE
15 years 6 months ago
2006
IEEE
Traditional methods for integrity checking in relational or deductive databases heavily rely on the assumption that data have integrity before the execution of updates. In this wa...
127
click to vote
TACAS
2001
Springer
15 years 5 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
131
Voted
ASIAN
2003
Springer
15 years 5 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
96
Voted
FSTTCS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...