3742 search results - page 144 / 749 » On the Use of Formal Techniques for Validation |
177
click to vote
ICST
2008
IEEE
16 years 24 days ago
2008
IEEE
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
183
click to vote
SAS
1999
Springer
15 years 10 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
209
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
182
click to vote
RTSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Often, data used in on-line decision making (for example, in determining how to react to changes in process behavior, traffic flow control, etc.) is dynamic in nature and hence ...
194
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...