3742 search results - page 477 / 749 » On the Use of Formal Techniques for Validation |
144
click to vote
CAV
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
144
click to vote
CAV
2007
Springer
16 years 25 days ago
2007
Springer
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
187
click to vote
WER
2007
Springer
16 years 22 days ago
2007
Springer
Software inspections have proved to be an effective means to find faults in different software artifacts, and the application of software inspections on requirements specification...
161
click to vote
AGILEDC
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper analyzes the reflections of an agile team, developing a large-scale project in an industry setting. The team uses an Iteration Summary Meeting practice, which includes ...
168
click to vote
IROS
2006
IEEE
16 years 20 days ago
2006
IEEE
— This paper deals with the design of a micro-force sensing device for biomechanical characterization of biological samples. This device combines (SPM) techniques and advanced ro...