Login / Signup
AProVE: Modular Termination Analysis of Memory-Manipulating C Programs.
Frank Emrich
Jera Hensel
Jürgen Giesl
Published in:
CoRR (2023)
Keyphrases
</>
termination analysis
abstract interpretation
active rules
active databases
control flow
knowledge base
model checking
static analysis
database
query processing
object oriented databases