Formal Verification of a Compiler Back-End Generic Checker Program.
Axel DoldVincent VialardPublished in: Ershov Memorial Conference (1999)
Keyphrases
- back end
- formal verification
- program slicing
- model checking
- user friendly
- model checker
- bounded model checking
- data management
- automated verification
- building blocks
- data types
- symbolic model checking
- version control
- general purpose
- detailed design
- formal specification
- formal methods
- database
- temporal logic
- domain specific
- fault localization
- program execution
- description languages
- software systems
- similarity search
- java bytecode
- management system