Iniciar sesión

AeneasVerif/aeneas

Una cadena de herramientas de verificación para programas en Rust.

↗ Abrir en GitHub

Estrellas

955

Bifurcaciones

106

Lenguaje

OCaml

Licencia

Apache-2.0

Último push

hace 1 día

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

Aún no hay intel relacionado

Este repo no ha aparecido en ninguna de las fuentes que rastrea el radar. El recopilador funciona con un horario — vuelve cuando lo haya cubierto.