2LS: Memory Safety and Non-termination - (Competition Contribution).

Viktor Malk, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Toms Vojnar, Johanan Wahlang

Browse the full TACAS paper archive.