Modal Tools for Separation and Refinement
From MaRDI portal
Publication:5403464
DOI10.1016/j.entcs.2008.06.005zbMath1283.68215MaRDI QIDQ5403464
Publication date: 26 March 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.06.005
divergence; refinement; separation; termination; automated deduction; Kleene modules; modal Kleene algebras
68Q60: Specification and verification (program logics, model checking, etc.)
03G25: Other algebras related to logic
Related Items
Algebraic coherent confluence and higher globular Kleene algebras, Algebraic notions of nontermination: Omega and divergence in idempotent semirings, Internal axioms for domain semirings, Automated verification of refinement laws
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Kleene modules and linear languages
- Abstract abstract reduction
- A completeness theorem for Kleene algebras and the algebra of regular events
- A calculational approach to mathematical induction
- Towards a refinement algebra
- Non-termination in Idempotent Semirings
- Modal Semirings Revisited
- System Description: Spass Version 3.0
- On the union of well-founded relations
- Kleene algebra with domain
- Relational and Kleene-Algebraic Methods in Computer Science
- Boolean Algebras with Operators. Part I