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

Alexander Nutz Daniel Dietsch Mostafa Mahmoud Mohamed Andreas Podelski

Published in: TACAS (2015)

Keyphrases

memory requirements
memory size
memory usage
databases
data mining
social networks
computational complexity
limited memory
intelligent vehicles
memory footprint
low memory
memory capacity
international competition