LART: Compiled Abstract Execution - (Competition Contribution).

Henrich Lauko, Petr Rockai

Browse the full TACAS paper archive.