Repositórios de código aberto acompanhados de verifast, ordenados por estrelas.
Ferramenta de protótipo de pesquisa para verificação formal modular de programas em C, Rust e Java
