1108 search results - page 40 / 222 » Model Checking of Safety Properties |
CAI
2006
Springer
13 years 9 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
ESORICS
2005
Springer
14 years 2 months ago
2005
Springer
We consider the enforcement powers of program monitors, which intercept security-sensitive actions of a target application at run time and take remedial steps whenever the target a...
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
HYBRID
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...