TY - GEN
T1 - CIRC
T2 - 3rd International Conference on Algebra and Coalgebra in Computer Science, CALCO 2009
AU - Lucanu, Dorel
AU - Goriac, Eugen Ioan
AU - Caltais, Georgiana
AU - Roşu, Grigore
N1 - Copyright:
Copyright 2009 Elsevier B.V., All rights reserved.
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=70350359130&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=70350359130&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-03741-2_30
DO - 10.1007/978-3-642-03741-2_30
M3 - Conference contribution
AN - SCOPUS:70350359130
SN - 3642037402
SN - 9783642037405
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 433
EP - 442
BT - Algebra and Coalgebra in Computer Science - Third International Conference, CALCO 2009, Proceedings
Y2 - 7 September 2009 through 10 September 2009
ER -