297 search results - page 10 / 60 » Model Checking Guarded Protocols |
WECWIS
2000
IEEE
14 years 2 months ago
2000
IEEE
ENTCS
2008
13 years 10 months ago
2008
CSFW
2004
IEEE
14 years 1 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 ...
RTAS
2005
IEEE
14 years 3 months ago
2005
IEEE
No one middleware communication model completely solves the problem of ensuring schedulability in every DRE system. Furthermore, there have been few studies to date of the trade-o...
DSN
2004
IEEE
14 years 1 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...