1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Gaurav Parthasarathy, Thibault Dardinier, Benjamin Bonneau +2
Automated program verifiers are typically implemented using an intermediate verification language (IVL), such as Boogie or Why3. A verifier front-end translates the input program a…