João Carlos Pereira

According to our database, João Carlos Pereira authored at least 3 papers between 2020 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Gobra: Modular Specification and Verification of Go Programs (extended version).

Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller

CoRR, 2021

Gobra: Modular Specification and Verification of Go Programs.

Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Testing for Race Conditions in Distributed Systems via SMT Solving.

João Carlos Pereira, Nuno Machado, Jorge Sousa Pinto

Proceedings of the Tests and Proofs - 14th International Conference, 2020