4036 search results - page 100 / 808 » Formal Methods |
120
Voted
ZUM
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
150
click to vote
ZUM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
114
click to vote
LPAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
226
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
149
click to vote
FORTEST
2008
15 years 6 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...