2500 search results - page 169 / 500 » Specifying Behavior in C |
130
Voted
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
118
Voted
ACSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...
101
Voted
FIW
2007
15 years 5 months ago
2007
Abstract. One approach to system development is to decompose the requirements into features and specify the individual features before composing them. A major limitation of deferri...
129
Voted
MASCOTS
2000
15 years 4 months ago
2000
Most network engineering tools are unsatisfactory. Measurements are not predictive, simulations do not scale, and analysis is limited to oversimplified models. To be more useful, ...
109
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Software that cannot evolve is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...