1108 search results - page 116 / 222 » Model Checking of Safety Properties |
94
Voted
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design speciļ¬cations...
108
Voted
ISSS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciļ¬...
109
click to vote
HYBRID
2010
Springer
15 years 5 months ago
2010
Springer
NetSketch is a tool for the speciļ¬cation of constrained-ļ¬ow applications and the certiļ¬cation of desirable safety properties imposed thereon. NetSketch assists system integr...
103
Voted
DANCE
2002
IEEE
15 years 5 months ago
2002
IEEE
In this paper we deļ¬ne and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
ECLIPSE
2006
ACM
15 years 4 months ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...