CIRC
From MaRDI portal
Software:18336
swMATH6202MaRDI QIDQ18336FDOQ18336
Author name not available (Why is that?)
Cited In (39)
- A Tool Proving Well-Definedness of Streams Using Termination Tools
- Patterns for Maude Metalanguage Applications
- Quantitative Kleene coalgebras
- Foundations for structuring behavioural specifications
- Behavioral Rewrite Systems and Behavioral Productivity
- Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization
- Proving equality of streams automatically
- CafeOBJ Traces
- Constructor-Based Inductive Theorem Prover
- Friends with Benefits
- Bisimulations Generated from Corecursive Equations
- ``Backward coinduction, Nash equilibrium and the rationality of escalation
- A Decision Procedure for Bisimilarity of Generalized Regular Expressions
- Coinductive Proof Techniques for Language Equivalence
- Final Semantics for Decorated Traces
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach
- A coalgebraic perspective on logical interpretations
- Matching logic explained
- Witnessing (Co)datatypes
- Loop verification with invariants and contracts
- Title not available (Why is that?)
- Proving language inclusion and equivalence by coinduction
- A Specification Language for Reo Connectors
- Towards a Unified Theory of Operational and Axiomatic Semantics
- Integrating induction and coinduction via closure operators and proof cycles
- Coalgebras in functional programming and type theory
- Well-definedness of streams by transformation and termination
- Program equivalence by circular reasoning
- A generic framework for symbolic execution: a coinductive approach
- Practical coinduction
- On Automation of OTS/CafeOBJ Method
- Well-Definedness of Streams by Termination
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs
- Sampling, Splitting and Merging in Coinductive Stream Calculus
- A Maude environment for CafeOBJ
- On the complexity of stream equality
- Sound and complete equational reasoning over comodels
- Circular Coinduction: A Proof Theoretical Foundation
- Regular strategies as proof tactics for \textsf{CIRC}
This page was built for software: CIRC
