4447 search results - page 19 / 890 » Model Checking Games |
156
click to vote
MOVEP
2000
15 years 6 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
119
click to vote
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
109
click to vote
ICICS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. To be accepted, a cryptographic scheme must come with a proof that it satisfies some standard security properties. However, because cryptographic schemes are based on no...
101
click to vote
IPL
2006
15 years 3 months ago
2006
We investigate the path model checking problem for the
110
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
– The role of serious games in validating computational sociocultural models is described. To accomplish this, we show the role of a cognitive engine in generating behaviors for ...