Login / Signup
Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution).
Raphaël Monat
Abdelraouf Ouadjaout
Antoine Miné
Published in:
TACAS (2) (2023)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
active rules
data model
dynamic analysis
reasoning engine
relational databases
relational model
active databases
high level
source code
integrity constraints