There is a newer version of the record available.

Published March 17, 2026 | Version pldi-artifact
Software Open

Artifact for "Heterogeneous Dynamic Logic: Provability Modulo Program Theories"

Authors/Creators

  • 1. ROR icon Karlsruhe Institute of Technology

Description

This artifact contains the Isabelle formalization of the paper Heterogeneous Dynamic Logic: Provability Modulo Program Theories. We formalize dynamic theories and prove that three dynamic logics are instantiations of this concept.

Files

samysweb/hdl-pldi-artifact.zip

Files (1.2 MB)

Name Size Download all
md5:d31606d7055181a3eb67f6fe7111e70d
1.2 MB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/samysweb/hdl/tree/pldi-artifact (URL)

Software

Repository URL
https://github.com/samysweb/hdl