Completeness Thresholds for Memory Safety: Unbounded Guarantees via Bounded Proofs (Extended Abstract).
Tobias ReinhardJustus FasseBart JacobsPublished in: CoRR (2023)
Keyphrases
- extended abstract
- formal proofs
- equational theories
- memory space
- memory usage
- limited memory
- mathematical proofs
- theorem prover
- theorem proving
- memory requirements
- low memory
- bounded memory
- threshold values
- computing power
- main memory
- memory size
- asymptotically optimal
- adaptive threshold
- safety analysis
- formal proof
- bayesian networks
- knowledge base
- automated theorem provers
- neural network