most citedTowards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2024★ 1 cited

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)

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…