33 search results - page 7 / 7 » Improved Algorithms for the Automata-Based Approach to Model... |
GLVLSI
2009
IEEE
15 years 6 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
108
click to vote
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
112
click to vote
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...