PrincetonUniversity/VST

@PrincetonUniversity

Cadena de herramientas de software verificado

↗ Abrir en GitHub

Estrellas

508

Bifurcaciones

103

Lenguaje

Rocq Prover

Licencia

NOASSERTION

Último push

hace 4 días

Rocq Prover c compcert coq coq-library coq-vst formal-methods formal-specification formal-verification proof proof-assistant 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.