279 search results - page 1 / 56 » Abstraction and refinement techniques in automated design de... |
DATE
2007
IEEE
13 years 8 months ago
2007
IEEE
ASPDAC
2011
ACM
12 years 8 months ago
2011
ACM
al Abstraction and Refinement Brian Keng and Andreas Veneris University of Toronto ASPASP--DAC 2011DAC 2011
ICFEM
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
DAC
2006
ACM
14 years 5 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
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...