Login / Signup
AProVE: Termination and Memory Safety of C Programs - (Competition Contribution).
Thomas Ströder
Cornelius Aschermann
Florian Frohn
Jera Hensel
Jürgen Giesl
Published in:
TACAS (2015)
Keyphrases
</>
memory requirements
term rewriting
memory space
data sets
programming environment
computing power
real time
main memory
theorem prover
expert systems
e learning
fixpoint
random access
neural network
limited memory
rewrite systems
termination analysis