VCEGAR: Verilog CounterExample Guided Abstraction Refinement

Bibliographic Details
Main Authors: Jain, H, Kroening, D, Sharygina, N, Clarke, E
Format: Conference item
Published: Springer 2007