1895 search results - page 74 / 379 » Using ATL for Checking Models |
127
Voted
IJAIT
2006
15 years 2 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
117
Voted
CAV
2003
Springer
15 years 7 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
123
Voted
ACSD
2004
IEEE
15 years 6 months ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...
119
click to vote
ICDE
2007
IEEE
15 years 9 months ago
2007
IEEE
Trust management is a form of access control that uses delegation to achieve scalability beyond a single organization or federation. However, delegation can be difficult to contr...
173
click to vote
ESORICS
2009
Springer
16 years 3 months ago
2009
Springer
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...