1. Constraint-based invariant inference over predicate abstraction;Gulwani,2009
2. From program verification to program synthesis;Srivastava,2010
3. Ranking function synthesis for bit-vector relations;Cook;Form. Methods Syst. Des.,2013
4. Under-approximating loops in C programs for fast counterexample detection;Kroening,2013
5. Tool for control-explicit data-symbolic state space exploration;Mrázek,2016