Login / Signup

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

Gaurav ParthasarathyThibault DardinierBenjamin BonneauPeter MüllerAlexander J. Summers
Published in: CoRR (2024)
Keyphrases