3742 search results - page 415 / 749 » On the Use of Formal Techniques for Validation |
159
click to vote
SAS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
173
click to vote
ICECCS
2006
IEEE
16 years 24 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
203
click to vote
ESOP
2005
Springer
16 years 8 days ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
198
click to vote
ISSTA
2004
ACM
16 years 5 days ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
165
click to vote
ATAL
2004
Springer
16 years 4 days ago
2004
Springer
Decentralized MDPs provide a powerful formal framework for planning in multi-agent systems, but the complexity of the model limits its usefulness. We study in this paper a class o...