An SMT-based Approach to Fair Termination Analysis.

Javier Esparza, Philipp J. Meyer

Browse the full FMCAD paper archive.