1463 search results - page 125 / 293 » Model Checking Implicit-Invocation Systems |
119
Voted
AICCSA
2006
IEEE
15 years 5 months ago
2006
IEEE
s: Software Foundations Modeling Redundancy: Quantitative and Qualitative Models .......................................................43 Ali Mili............New Jersey Institute ...
103
click to vote
ADAEUROPE
2008
Springer
15 years 3 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
100
click to vote
MODELS
2007
Springer
15 years 7 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 specifications...
120
click to vote
ECSA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
124
click to vote
ICCD
1995
IEEE
15 years 5 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...