1463 search results - page 160 / 293 » Model Checking Implicit-Invocation Systems |
112
click to vote
ESORICS
2003
Springer
15 years 6 months ago
2003
Springer
In this paper, we describe a novel approach to policy-based intrusion detection. The model we propose checks legality of information flows between objects in the system, according...
105
click to vote
CC
2001
Springer
15 years 6 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
113
click to vote
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
107
Voted
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
144
click to vote
JMM2
2006
15 years 1 months ago
2006
This paper presents an efficient, robust and fully automatic real-time system for 3D object pose tracking in image sequences. The developed application integrates two main componen...