Abstract debugging of higher-order imperative languages
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
A methodology for the verification of a “system on chip”
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Algorithms and methodology for scalable model checking
Algorithms and methodology for scalable model checking
Combining widening and acceleration in linear relation analysis
SAS'06 Proceedings of the 13th international conference on Static Analysis
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Hi-index | 0.00 |
Detecting functional errors on generic hardware components is often a complex task. This task becomes more complex in a componentwise approach when analyzing components without their embedded context that is the entire system description. In this paper, we propose a methodology that successfully detects just from the component's description a pure functional error that neither extensive tests nor formal methods could find.