Modal tools for separation and refinement

DOI10.1016/J.ENTCS.2008.06.005MaRDI QIDQ5403464zbMATH OpenOpenAlexFDO

Authors Georg Struth

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

zbMATH Keywords

divergenceautomated deductionrefinementseparationterminationKleene modulesmodal Kleene algebras

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 2163052
• Modal Kleene algebra applied to program correctness
• Relational and Kleene-Algebraic Methods in Computer Science
• Kleene under a modal demonic star
• Modal Semirings Revisited

Cites work

• scientific article; zbMATH DE number 1612485 (Why is no real title available?)
• scientific article; zbMATH DE number 4047065 (Why is no real title available?)
• scientific article; zbMATH DE number 2163052 (Why is no real title available?)
• A calculational approach to mathematical induction
• A completeness theorem for Kleene algebras and the algebra of regular events
• Abstract abstract reduction
• Boolean Algebras with Operators. Part I
• Kleene algebra with domain
• Kleene modules and linear languages
• Modal Semirings Revisited
• Modal logic
• Non-termination in Idempotent Semirings
• On the union of well-founded relations
• Relational and Kleene-Algebraic Methods in Computer Science
• System Description: Spass Version 3.0
• Towards a refinement algebra

Cited in

(6)

• Algebraic notions of nontermination: Omega and divergence in idempotent semirings
• Algebraic coherent confluence and higher globular Kleene algebras
• Internal axioms for domain semirings
• Automated verification of refinement laws
• scientific article; zbMATH DE number 2163052 (Why is no real title available?)
• Separable modes

This page was built for publication: Modal tools for separation and refinement

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5403464)