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 |
Testing for Race Conditions in Distributed Systems via SMT Solving JC Pereira, N Machado, JS Pinto International Conference on Tests and Proofs, 122-140, 2020 | 11 | 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 |
Refinement Proofs in Rust Using Ghost Locks A Bílý, JC Pereira, J Schär, P Müller arXiv preprint arXiv:2311.14452, 2023 | | 2023 |
Current Status and Plans L Arquint, D Basin, T Klenze, S Liu, P Müller, J Pereira, C Sprenger, ... The Complete Guide to SCION, 563-572, 2022 | | 2022 |
Code-Level Verification L Arquint, P Müller, W Oortwijn, J Pereira, FA Wolf The Complete Guide to SCION, 519-562, 2022 | | 2022 |