HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction

Date: April 27, 2017