CIRC: A Behavioral Verification Tool Based on Circular Coinduction.

Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu

Browse the full CALCO paper archive.