Decision Tree Learning in CEGIS-Based Termination Analysis

Satoshi Kura, Hiroshi Unno, Ichiro Hasuo

We present a novel decision tree-based synthesis algorithm of ranking functions for verifying program termination. Our algorithm is integrated into the workflow of CounterExample G…