Proving non-termination by program reversal.

Krishnendu Chatterjee Ehsan Kafshdar Goharshady Petr Novotný Dorde Zikelic

Published in: PLDI (2021)

Keyphrases

term rewrite systems
neural network
programming environment
artificial intelligence
search algorithm
digital libraries
special case
open source
static analysis