Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT.

Jiahong Jiang Liqian Chen Xueguang Wu Ji Wang

Published in: VMCAI (2017)

Keyphrases

block wise
abstract interpretation
termination analysis
static analysis
active rules
model checking
active databases
dynamic analysis
database
order statistics
reasoning engine