Clustered Relational Thread-Modular Abstract Interpretation with Local Traces.

Michael Schwarz Simmo Saan Helmut Seidl Julian Erhard Vesal Vojdani

Published in: ESOP (2023)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
relational databases
active databases
data model
reasoning engine
dynamic analysis
object oriented
source code
high level
integrity constraints
reverse engineering