Proving non-termination by program reversal.

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotn, Dorde Zikelic

Browse the full PLDI paper archive.