HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution).

Ton Chanh Le, Quang-Trung Ta, Wei-Ngan Chin

Browse the full TACAS paper archive.