2488 search results - page 102 / 498 » An improvement in formal verification |
128
click to vote
RE
1999
Springer
15 years 5 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 ...
128
click to vote
ICFEM
1997
Springer
15 years 4 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
116
click to vote
ICISC
2004
15 years 2 months ago
2004
An identity (ID)-based signature scheme allows any pair of users to verify each other's signatures without exchanging public key certificates. With the advent of Bilinear maps...
86
Voted
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
119
Voted
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
Post-silicon debug is the problem of determining what's wrong when the fabricated chip of a new design behaves incorrectly. This problem now consumes over half of the overall ...