Repositórios de código aberto acompanhados de uwplse, ordenados por estrelas.
Um framework para verificação formal de implementações de sistemas distribuídos em Coq
