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