Login / Signup
João C. Pereira
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Provably Correct
Formal Verification
Asynchronous Circuits
Control Program
Top Venues
CoRR
CAV (1)
</>
Publications
</>
Aurel Bílý
,
João C. Pereira
,
Jan Schär
,
Peter Müller
Refinement Proofs in Rust Using Ghost Locks.
CoRR
(2023)
Felix A. Wolf
,
Linard Arquint
,
Martin Clochard
,
Wytse Oortwijn
,
João C. Pereira
,
Peter Müller
Gobra: Modular Specification and Verification of Go Programs (extended version).
CoRR
(2021)
Felix A. Wolf
,
Linard Arquint
,
Martin Clochard
,
Wytse Oortwijn
,
João C. Pereira
,
Peter Müller
Gobra: Modular Specification and Verification of Go Programs.
CAV (1)
(2021)