DAG inlining: A decision procedure for reachability-modulo-theories in hierarchical programs

Akash Lal, Shaz Qadeer
[doi] [Google Scholar] [DBLP] [Citeseer]

Programming Language Design and Implementation (PLDI)
Volume 50
ACM
New York, NY, USA
Pages 280-290
June 2015
Note(s): model checking, SMT solver