Automated Termination Proofs for C Programs with Lists (Short WST Version).
Jera HenselJürgen GieslPublished in: CoRR (2023)
Keyphrases
- computer programs
- automated theorem provers
- information systems
- automated analysis
- automatic programming
- semi automated
- theorem proving
- machine learning
- knowledge base
- computer aided
- computer assisted
- theorem prover
- data driven
- information extraction
- digital libraries
- information retrieval
- term rewriting
- formal proofs
- database