1895 search results - page 47 / 379 » Using ATL for Checking Models |
124
Voted
SPIN
2009
Springer
15 years 9 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
120
click to vote
FORTE
2004
15 years 3 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
182
click to vote
CAV
1999
Springer
15 years 6 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
111
click to vote
AUSAI
2005
Springer
15 years 8 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
150
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...