3742 search results - page 5 / 749 » On the Use of Formal Techniques for Validation |
114
click to vote
RE
1999
Springer
15 years 3 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
DSD
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
RSP
1999
IEEE
15 years 3 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
DATE
2000
IEEE
15 years 4 months ago
2000
IEEE
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
FLAIRS
2000
15 years 1 months ago
2000
