no code implementations • 5 Nov 2015 • Radu Grigore, Hongseok Yang
Our approach applies to parametric static analyses implemented in Datalog, and is based on counterexample-guided abstraction refinement.
Programming Languages Software Engineering D.2.4