10038 search results - page 228 / 2008 » Model Checking for Managers |
150
Voted
DSN
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
159
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
127
Voted
FASE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
149
click to vote
QEST
2009
IEEE
16 years 2 days ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
145
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the ...