6 citations · 17 across the 9 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Cameleer: a Deductive Verification Tool for OCaml (extended version)
Mário Pereira, António Ravara
OCaml is particularly well-fitted for formal verification. On one hand, it is a multi-paradigm language with a well-defined semantics, allowing one to write clean, concise, type-sa…
cs.DC2021★ 5 cited
A coordination-free, convergent, and safe replicated tree
Sreeja Nair, Filipe Meirim, Mário Pereira +2
The tree is an essential data structure in many applications. In a distributed application, such as a distributed file system, the tree is replicated.To improve performance and ava…