3742 search results - page 339 / 749 » On the Use of Formal Techniques for Validation |
160
click to vote
JUCS
2010
15 years 1 months ago
2010
: Veldman proved that the contrapositive of countable binary choice is a theorem of full-fledged intuitionism, to which end he used a principle of continuous choice and the fan the...
186
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Developers often make multiple changes to software. These changes are introduced to work cooperatively or to accomplish separate goals. However, changes might not intera...
193
click to vote
TSE
1998
15 years 6 months ago
1998
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
191
click to vote
EMSOFT
2007
Springer
16 years 27 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
171
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...