7 citations · 12 across the 8 of their papers we have counts for
1 paper · 1 filter
Jean-François Couchot, Alain Giorgetti, Nicolas Stouls
Increasing the automaticity of proofs in deductive verification of C programs is a challenging task. When applied to industrial C programs known heuristics to generate simpler veri…