An Axiomatization of Arrays for Kleene Algebra with Tests

DOI10.1007/11828563_4MaRDI QIDQ5459173zbMATH OpenOpenAlexFDO

Authors Kamal Aboul-Hosn

Publication date 24 April 2008

Published in Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://hdl.handle.net/1813/5729

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Searching and sorting (68P10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On Hoare logic and Kleene algebra with tests
• scientific article; zbMATH DE number 2090029
• Towards a refinement algebra
• Program analysis and verification based on Kleene algebra in Isabelle/HOL
• Local Variable Scoping and Kleene Algebra with Tests

Cited in

(2)

• scientific article; zbMATH DE number 3845029 (Why is no real title available?)
• Position Automata for Kleene Algebra with Tests

This page was built for publication: An Axiomatization of Arrays for Kleene Algebra with Tests

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