Verifying opacity by abstract interpretation.

Isabella Mastroeni Michele Pasqua

Published in: SAC (2022)

Keyphrases

abstract interpretation
model checking
termination analysis
static analysis
active rules
active databases
dynamic analysis
reasoning engine
knowledge base
fine grained