Encoding Z-style Schemas in type theory

DOI10.1007/3-540-58085-9_79MaRDI QIDQ6083696zbMATH OpenOpenAlexFDO

Authors Savi Maharaj

Publication date 8 December 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58085-9_79

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• A calculus for schemas in Z
• A structure preserving encoding of Z in Isabelle/HOL
• scientific article; zbMATH DE number 1617308
• Revising Z. II: Logical development
• Richer types for \(Z\)

Cited in

(2)

• Scala to the Power of Z3: Integrating SMT and Programming
• A structure preserving encoding of Z in Isabelle/HOL

This page was built for publication: Encoding Z-style Schemas in type theory

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