Algebras for Program Correctness in Isabelle/HOL

DOI10.1007/978-3-319-06251-8_4zbMath1405.68314OpenAlexW23903359MaRDI QIDQ5410477

Georg Struth, Victor B. F. Gomes, Alasdair Armstrong

Publication date: 16 April 2014

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06251-8_4

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Developments in concurrent Kleene algebra ⋮ A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency ⋮ Building program construction and verification tools from algebraic principles

Uses Software

• HOL
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebras for Program Correctness in Isabelle/HOL