Decision Tree Learning in CEGIS-Based Termination Analysis

This is a docker image containing a termination analyzer, MuVal [1].

You can load and run the image by the following commands.

sudo docker load -i cav21ae.tar
sudo docker run -it coar:cav21ae_dt /bin/bash --login

See /home/muval/coar/cav21ae_dt/README.md or our github repository for details.

[1] Satoshi Kura, Hiroshi Unno, and Ichiro Hasuo. Decision Tree Learning in CEGIS-Based Termination Analysis. CAV 2021.