Proving Non-termination by Program Reversal.

Krishnendu Chatterjee Ehsan Kafshdar Goharshady Petr Novotný Dorde Zikelic

Published in: CoRR (2021)

Keyphrases

term rewrite systems
computer programs
data sets
machine learning
special case
rewrite systems