Property oriented verification via iterative abstract interpretation.

Published in: ICSE (Companion Volume) (2019)

Keyphrases

abstract interpretation
model checking
termination analysis
static analysis
active rules
reasoning engine
active databases
dynamic analysis
information systems
distributed systems