Correctness Witness Validation by Abstract Interpretation.

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

Published in: VMCAI (1) (2024)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
active databases
model checking
reasoning engine
dynamic analysis
open source
database applications