485 search results - page 2 / 97 » A Model Checking Approach for Verifying COWS Specifications |
111
Voted
FAC
2008
15 years 1 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...
127
Voted
CSFW
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
71
Voted
SOCA
2007
IEEE
15 years 7 months ago
2007
IEEE
105
Voted
CCECE
2006
IEEE
15 years 7 months ago
2006
IEEE
96
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...