Gobra: Modular specification and verification of Go programs FA Wolf, L Arquint, M Clochard, W Oortwijn, JC Pereira, P Müller International Conference on Computer Aided Verification, 367-379, 2021 | 61 | 2021 |
Igloo: Soundly linking compositional refinement and separation logic for distributed system verification C Sprenger, T Klenze, M Eilers, FA Wolf, P Müller, M Clochard, D Basin Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-31, 2020 | 29 | 2020 |
Gobra: Modular specification and verification of go programs (extended version) FA Wolf, L Arquint, M Clochard, W Oortwijn, JC Pereira, P Müller arXiv preprint arXiv:2105.13840, 2021 | 6 | 2021 |
Concise outlines for a complex logic: a proof outline checker for TaDA (full paper) FA Wolf, M Schwerhoff, P Müller arXiv preprint arXiv:2010.07080, 2020 | 3 | 2020 |
Verifying Fine-Grained Concurrent Data Structures F Wolf Master thesis, ETH Zurich, 2018 | 3 | 2018 |