1 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Dilian Gurov, Reiner Hähnle
We present an expressive logic over trace formulas, based on binary state predicates, chop, and least fixed-points, for precise specification of programs with recursive procedures.…