3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
Michael Ameri, Carlo A. Furia
The verification systems Boogie and Why3 use their respective intermediate languages to generate verification conditions from high-level programs. Since the two systems support dif…