7 citations · 12 across the 8 of their papers we have counts for
1 paper · 2 filters
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…