swMATH28537MaRDI QIDQ40251FDOQ40251
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Coinductive.html
Cited In (21)
- Formal verification of an executable LTL model checker with partial order reduction
- (Co)inductive proof systems for compositional proofs in reachability logic
- The expressive power of monotonic parallel composition
- Interactive verification of architectural design patterns in FACTum
- Truly modular (co)datatypes for Isabelle/HOL
- Recursive Functions on Lazy Lists via Domains and Topologies
- Quotients of Bounded Natural Functors
- Paco
- Xtext
- CAVA
- Deriving class
- Markov Models
- Monomorphic Monad
- Ordinals Cardinals
- Topology
- Stuttering Equivalence
- Dynamic Architectures
- FACTum
- Regex_Equivalence
- Architectural_Design_Patterns
- Foundational (co)datatypes and (co)recursion for higher-order logic
This page was built for software: Coinductive
