Verbonden aan
Publicaties
Recent
Armborst, L.
, Lathouwers, S.
, & Huisman, M. (2024).
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. In P. Herber, & A. Wijs (Eds.),
iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings (pp. 153-171). (Lecture Notes in Computer Science; Vol. 14300). Springer.
https://doi.org/10.1007/978-3-031-47705-8_9
Armborst, L.
, & Huisman, M. (2021).
Permission-Based Verification of Red-Black Trees and Their Merging. In
FormaliSE 21: Proceedings of the 9th International Conference on Formal Methods in Software Engineering (Vol. 1, pp. 111-123). (IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE); Vol. 2021, No. 9). IEEE.
https://doi.org/10.1109/FormaliSE52586.2021.00017
Pure Link
Contactgegevens
Bezoekadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(gebouwnr. 11), kamer 3082
Hallenweg 19
7522NH Enschede
Postadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3082
Postbus 217
7500 AE Enschede