Correctness Witness Validation by Abstract Interpretation.

Simmo Saan Michael Schwarz Julian Erhard Helmut Seidl Sarah Tilscher Vesal Vojdani

Published in: CoRR (2023)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
reasoning engine
model checking
dynamic analysis
active databases
case study
fine grained