Follow
João Carlos Pereira
João Carlos Pereira
Doctoral student, ETH Zurich
Verified email at inf.ethz.ch
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
562021
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
102020
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
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
The system can't perform the operation now. Try again later.
Articles 1–6