@inproceedings{kranz17modular, author = {J. Kranz and A. Simon}, title = {Modular {A}nalysis of {E}xecutables {U}sing {O}n-{D}emand {H}eyting {C}ompletion}, booktitle = {VMCAI 2018: Verification, Model Checking, and Abstract Interpretation}, year = 2018, publisher = {Springer}, doi = {10.1007/978-3-319-73721-8_14}, address = {Los Angeles, California, USA}, }