ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution).

Alexander Nutz, Daniel Dietsch, Mostafa Mahmoud Mohamed, Andreas Podelski

Browse the full TACAS paper archive.