ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution). - Alexander Nutz; Daniel Dietsch; Mostafa Mahmoud Mohamed; Andreas Podelski (TACAS, 2015)