395 search results - page 41 / 79 » Program abstractions for behaviour validation |
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
112
Voted
APLAS
2006
ACM
15 years 4 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...
125
Voted
JIRS
2008
15 years 11 days ago
2008
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
HPCN
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. In this paper the design and validation of a high performance simulation is discussed that is of critical value to the feasibility study of the GRAIL project, the aim of ...
106
click to vote
IH
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...