1895 search results - page 80 / 379 » Using ATL for Checking Models |
134
click to vote
ACSC
2008
IEEE
15 years 11 months ago
2008
IEEE
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
118
click to vote
SPIN
2005
Springer
15 years 10 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
146
click to vote
DALT
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
120
click to vote
ECBS
2000
IEEE
15 years 9 months ago
2000
IEEE
We apply the XMC model checker to the Java metalocking algorithm, a highly optimized technique for ensuring mutually exclusive access by threads to object monitor queues. Our abst...
119
click to vote
EWSA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...