9067 search results - page 9 / 1814 » Adaptive Model Checking |
MOVEP
2000
14 years 1 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...
LPAR
2005
Springer
14 years 3 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...
CIMCA
2006
IEEE
14 years 3 months ago
2006
IEEE
: In the adaptive fuzzy control field for affine nonlinear systems, there are two basic configurations: direct and indirect. It is well known that the direct configuration needs mo...
IPL
2006
13 years 9 months ago
2006
We investigate the path model checking problem for the
SECON
2010
IEEE
13 years 7 months ago
2010
IEEE
Reliability and predictability of the timing behavior have shown to be major issues for wireless sensor network deployments. Real-time requirements presented by several application...