507 search results - page 92 / 102 » Counterexample-Guided Abstraction Refinement |
TSP
2010
14 years 6 months ago
2010
Abstract--Frequency hopping (FH) signals have well-documented merits for commercial and military applications due to their near-far resistance and robustness to jamming. Estimating...
VLSID
2007
IEEE
16 years 1 days ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
KBSE
2002
IEEE
15 years 4 months ago
2002
IEEE
Commercial tools are heavily used, relatively cheap, well maintained, and provide powerful functionalities. However, composing these tools in order to build larger applications ra...
104
click to vote
FM
2006
Springer
15 years 3 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
173
click to vote
POPL
2002
ACM
15 years 12 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...