Proving non-termination by program reversalOpen Website

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

2021 (modified: 21 Feb 2023)PLDI 2021Readers: Everyone
0 Replies