Publicaties

2024
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic TranslationIn iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings (pp. 153-171). Springer. Armborst, L., Lathouwers, S. & Huisman, M.https://doi.org/10.1007/978-3-031-47705-8_9
2021
Permission-Based Verification of Red-Black Trees and Their MergingIn FormaliSE 21: Proceedings of the 9th International Conference on Formal Methods in Software Engineering (pp. 111-123). IEEE. Armborst, L. & Huisman, M.https://doi.org/10.1109/FormaliSE52586.2021.00017

Onderzoeksprofielen

Scan de QR-code of
Download vCard