Formal verification of Zagier's one-sentence proof.
Guillaume DubachFabian MuehlboeckPublished in: CoRR (2021)
Keyphrases
- formal verification
- model checking
- model checker
- bounded model checking
- automated verification
- symbolic model checking
- natural language
- text summarization
- sentence level
- theorem proving
- syntactic analysis
- linear logic
- program slicing
- functional verification
- theorem prover
- temporal logic
- discourse structure
- source code
- software engineering
- reinforcement learning