Login / Signup
Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution).
Simmo Saan
Michael Schwarz
Julian Erhard
Manuel Pietsch
Helmut Seidl
Sarah Tilscher
Vesal Vojdani
Published in:
TACAS (2) (2023)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
active rules
model checking
dynamic analysis
relational databases
active databases
reasoning engine
database
high level
database systems
query language
source code