@inproceedings{ba4320df51204aa5800e07553bfd2be3,
title = "CIRC: A behavioral verification tool based on circular coinduction",
abstract = "CIRC is a tool for automated inductive and coinductive theorem proving. It includes an engine based on circular coinduction, which makes CIRC particularly well-suited for proving behavioral properties of infinite data-structures. This paper presents the current status of the coinductive features of the CIRC prover, focusing on new features added over the last two years. The presentation is by examples, showing how CIRC can automatically prove behavioral properties.",
author = "Dorel Lucanu and Goriac, {Eugen Ioan} and Georgiana Caltais and Grigore Ro{\c s}u",
year = "2009",
doi = "10.1007/978-3-642-03741-2_30",
language = "English (US)",
isbn = "3642037402",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "433--442",
booktitle = "Algebra and Coalgebra in Computer Science - Third International Conference, CALCO 2009, Proceedings",
note = "3rd International Conference on Algebra and Coalgebra in Computer Science, CALCO 2009 ; Conference date: 07-09-2009 Through 10-09-2009",
}