Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version).
Gaurav ParthasarathyThibault DardinierBenjamin BonneauPeter MüllerAlexander J. SummersPublished in: CoRR (2024)
Keyphrases
- operational semantics
- declarative semantics
- fully automated
- computer programs
- model checking
- symbolic execution
- hardware designs
- petri net
- machine translation
- semi automated
- face verification
- database systems
- concurrent systems
- static analysis
- intended meaning
- control program
- intermediate level
- machine translation system
- object oriented