Login / Signup
Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution).
Simmo Saan
Julian Erhard
Michael Schwarz
Stanimir Bozhilov
Karoliine Holter
Sarah Tilscher
Vesal Vojdani
Helmut Seidl
Published in:
TACAS (3) (2024)
Keyphrases
</>
termination analysis
abstract interpretation
active rules
active databases
integrity constraints
object oriented databases
model checking
deductive databases
main memory
knowledge representation
database technology
spatial relations