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

A Framework for the Interoperable Specification and Verification of Encapsulated Data Structures

Reviewed Paper In Proceedings
Author(s):Wolfram Pfeifer, Werner Dietl, and Mattias Ulbrich
In:International Symposium on Formal Methods. Proceedings
Year:2026
Preprint/PDF:PfeiferDietlUlbrich26.pdf

Note

To appear.

BibTeX

@InProceedings{PfeiferDietlUlbrich26,
  author="Wolfram Pfeifer and Werner Dietl and Mattias Ulbrich",
  title="A Framework for the Interoperable Specification and Verification of Encapsulated Data Structures",
  booktitle="International Symposium on Formal Methods. Proceedings",
  year="2026",
  note="To appear."
}