Modular Analysis of Executables Using On-Demand Heyting Completion.

Julian Kranz, Axel Simon

Browse the full VMCAI paper archive.