Advanced Automata-based Algorithms for Program Termination Checking

Date:

This talk was given at the Workshop on SoftWare Analysis and Verification (SAVE 2018)