1376 search results - page 122 / 276 » Model-Driven Software Verification |
121
click to vote
COMPSAC
2008
IEEE
15 years 9 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
128
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow a field than a thousand chickens. Although this is undoubtedly wise when...
152
click to vote
ESEC
1997
Springer
15 years 7 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
141
click to vote
SAC
2010
ACM
15 years 29 days ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
145
click to vote
IFM
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...