23413 search results - page 4542 / 4683 » or 2005 |
202
Voted
VSTTE
2005
Springer
16 years 15 days ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
185
click to vote
VSTTE
2005
Springer
16 years 15 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
193
Voted
VSTTE
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
184
click to vote
VSTTE
2005
Springer
16 years 15 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
202
Voted
WABI
2005
Springer
16 years 15 days ago
2005
Springer
In contrast to proteins, many classes of functionally related RNA molecules show a rather weak sequence conservation but instead a fairly well conserved secondary structure. Hence ...