30 search results - page 1 / 6 » Predicate Abstraction with Under-approximation Refinement |
CAV
2006
Springer
13 years 8 months ago
2006
Springer
e Abstraction and Refinement Loop Himanshu Jain1,2, Franjo Ivanci
TCAD
2008
13 years 4 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
DAC
2005
ACM
14 years 5 months ago
2005
ACM
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...
CAV
2004
Springer
13 years 10 months ago
2004
Springer
CORR
2007
Springer
13 years 4 months ago
2007
Springer
