CBMC
refinement Directory Reference
+ Directory dependency graph for refinement:

Files

file  bv_refinement.h [code]
 Abstraction Refinement Loop.
 
file  bv_refinement_loop.cpp [code]
 
file  refine_arithmetic.cpp [code]
 
file  refine_arrays.cpp [code]