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
Volume 50
ACM
New York, NY, USA
Pages 280-290
June 2015
Note(s): model checking, SMT solver