Schematic Program Proofs with Abstract Execution.

Dominic Steinhöfel Reiner Hähnle

Published in: J. Autom. Reason. (2024)

Keyphrases

program execution
computer programs
execution traces
control flow
high level
higher level
theorem prover
symbolic execution
static analysis
control program
application programs
formal proofs
database
java programs
decision procedures
source code
low level
data sets