292 search results - page 3 / 59 » Model-checking agent refinement |
74
Voted
AAAI
1996
14 years 11 months ago
1996
FAC
2008
14 years 9 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...
54
Voted
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
AUSAI
2005
Springer
15 years 3 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...