Property-Directed Reachability as Abstract Interpretation in the Monotone Theory.

Yotam M. Y. Feldman Mooly Sagiv Sharon Shoham James R. Wilcox

Published in: CoRR (2021)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
case study
model checking
distributed systems