Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Heterogeneous Dynamic Logic: Provability Modulo Program Theories

Journal Article
Author(s):Samuel Teuber, Mattias Ulbrich, André Platzer, and Bernhard Beckert
Journal:Proc. ACM Program. Lang.
Number:PLDI
Year:2026
DOI:10.1145/3808295

BibTeX

@article{teuber2025heterogeneousdynamiclogicprovability,
  author    = {Teuber, Samuel and
               Ulbrich, Mattias and
               Platzer, Andr{\'{e}} and
               Beckert, Bernhard},
  title     = {Heterogeneous Dynamic Logic: Provability Modulo Program Theories},
  journal      = {Proc. {ACM} Program. Lang.},
  number       = {PLDI},
  year         = {2026},
  month = {jun},
  doi       = {10.1145/3808295},
  editor    = {Manu Sridharan},
  eprinttype    = {arXiv},
  eprint       = {2507.08581}
}