Follow
Felix A. Wolf
Felix A. Wolf
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
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
662021
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
312020
Concise outlines for a complex logic: a proof outline checker for TaDA
FA Wolf, M Schwerhoff, P Müller
Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021
152021
Sound verification of security protocols: From design to interoperable implementations
L Arquint, FA Wolf, J Lallemand, R Sasse, C Sprenger, SN Wiesner, ...
2023 IEEE Symposium on Security and Privacy (SP), 1077-1093, 2023
62023
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
62021
Concise outlines for a complex logic: a proof outline checker for TaDA
FA Wolf, M Schwerhoff, P Müller
Formal Methods in System Design 61 (1), 110-136, 2022
42022
Sound verification of security protocols: From design to interoperable implementations (extended version)
L Arquint, FA Wolf, J Lallemand, R Sasse, C Sprenger, SN Wiesner, ...
arXiv preprint arXiv:2212.04171, 2022
32022
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
32020
Verifying Fine-Grained Concurrent Data Structures
F Wolf
Master thesis, ETH Zurich, 2018
32018
Code-Level Verification
L Chuat, M Legner, D Basin, D Hausheer, S Hitz, P Müller, A Perrig
The Complete Guide to SCION: From Design Principles to Formal Verification …, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–10