Instrumenting a weakest precondition calculus for counterexample generation - Dailler, Sylvain; Hauzar, David; Marché, Claude; Moy, Yannick (Journal of logical and algebraic methods in programming, 2018)
Keywords: Computer Science; Logic in Computer Science; Software Engineering; Deductive Program Verification; Satisfiability Modulo Theories; Counterexamples; Weakest Precondition Calculus