Filipe Meirim
Filipe Meirim
PhD student, FCT-NOVA
Verified email at campus.fct.unl.pt
Title
Cited by
Cited by
Year
A coordination-free, convergent, and safe replicated tree
S Nair, F Meirim, M Pereira, C Ferreira, M Shapiro
arXiv preprint arXiv:2103.04828, 2021
42021
CISE3: Verifying Weakly Consistent Applications with Why3
F Meirim, M Pereira, C Ferreira
arXiv preprint arXiv:2010.06622, 2020
2020
CISE3: Verifica\c {c}\~ ao de aplica\c {c}\~ oes com consist\^ encia fraca em Why3
F Meirim, M Pereira, C Ferreira
arXiv preprint arXiv:1909.03721, 2019
2019
Static Verification of Cloud Applications with Why3
FS Meirim
2019
The system can't perform the operation now. Try again later.
Articles 1–4