507 search results - page 92 / 102 » Counterexample-Guided Abstraction Refinement |
TSP
2010
13 years 4 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
14 years 10 months 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
14 years 2 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...
FM
2006
Springer
14 years 1 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...
POPL
2002
ACM
14 years 10 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...