485 search results - page 2 / 97 » A Model Checking Approach for Verifying COWS Specifications |
FAC
2008
13 years 4 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...
CSFW
2004
IEEE
13 years 8 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 ...
SOCA
2007
IEEE
13 years 11 months ago
2007
IEEE
CCECE
2006
IEEE
13 years 11 months ago
2006
IEEE
ATAL
2006
Springer
13 years 8 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...