292 search results - page 3 / 59 » Model-checking agent refinement |
AAAI
1996
13 years 8 months ago
1996
FAC
2008
13 years 7 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
AUSAI
2005
Springer
14 years 25 days 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...