CIRC: A Behavioral Verification Tool Based on Circular Coinduction

DOI10.1007/978-3-642-03741-2_30zbMath1239.68066OpenAlexW1680684178MaRDI QIDQ2888503

Georgiana Caltais, Dorel Lucanu, Eugen-Ioan Goriac, Grigore Roşu

Publication date: 1 June 2012

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-642-03741-2_30

Mathematics Subject Classification ID

Related Items

Circular Coinduction: A Proof Theoretical Foundation ⋮ Unnamed Item ⋮ A coalgebraic perspective on logical interpretations ⋮ Into the Infinite - Theory Exploration for Coinduction ⋮ Proving language inclusion and equivalence by coinduction ⋮ Sound and complete equational reasoning over comodels ⋮ Friends with Benefits ⋮ A Decision Procedure for Bisimilarity of Generalized Regular Expressions ⋮ Behavioral Rewrite Systems and Behavioral Productivity ⋮ On Automation of OTS/CafeOBJ Method ⋮ A Maude environment for CafeOBJ ⋮ Quantitative Kleene coalgebras ⋮ ``Backward coinduction, Nash equilibrium and the rationality of escalation ⋮ On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions ⋮ CIRC

Cites Work

• Unnamed Item
• A relative of the Thue-Morse sequence
• Circular Coinduction: A Proof Theoretical Foundation
• CIRC: A Circular Coinductive Prover
• Well-Definedness of Streams by Termination
• Recent Trends in Algebraic Development Techniques