AeneasVerif/aeneas

Uma cadeia de ferramentas de verificação para programas em Rust

↗ Abrir no GitHub

Estrelas

955

Bifurcações

106

Linguagem

OCaml

Licença

Apache-2.0

Último push

há 21 horas

OCaml rust rust-lang coq formal-methods formal-verification compiler proofs ocaml lean deductive-reasoning fstar hol4 program-verification

Ainda não há intel relacionado

Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.