Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor.
Robert S. BoyerYuan YuPublished in: CADE (1992)
Keyphrases
- computer programs
- concurrent programs
- error handling
- automated theorem provers
- java programs
- program code
- provably correct
- theorem prover
- fully automated
- source code
- theorem proving
- semi automated
- programs written
- high speed
- answer sets
- data flow
- design methodology
- computer systems
- text files
- program slicing
- high level