Cyclone: A Heterogeneous Tool for Verifying Infinite Descent.

Liron Cohen, Reuben N. S. Rowe, Matan Shaked

Browse the full TACAS paper archive.