CIRC: A Circular Coinductive Prover

DOI10.1007/978-3-540-73859-6_25zbMath1214.68336OpenAlexW2158409018MaRDI QIDQ3612501

Dorel Lucanu, Grigore Roşu

Publication date: 10 March 2009

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73859-6_25

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

Circular Coinduction: A Proof Theoretical Foundation ⋮ CIRC: A Behavioral Verification Tool Based on Circular Coinduction ⋮ A Tool Proving Well-Definedness of Streams Using Termination Tools ⋮ Unnamed Item ⋮ A Maude environment for CafeOBJ ⋮ Patterns for Maude Metalanguage Applications ⋮ Non-well-founded deduction for induction and coinduction ⋮ CIRC ⋮ Well-Definedness of Streams by Termination ⋮ Integrating induction and coinduction via closure operators and proof cycles ⋮ Regular Strategies as Proof Tactics for CIRC

Uses Software

• Maude