Artifact for "Heterogeneous Dynamic Logic: Provability Modulo Program Theories"
Samuel Teuber
Abstract:
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.
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Forschungsdaten |
| Publikationsdatum | 13.04.2026 |
| Identifikator | KITopen-ID: 1000197656 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Lizenz | Creative Commons Namensnennung 4.0 International |
| Art der Forschungsdaten | Software |
| Nachgewiesen in | OpenAlex |