PrincetonUniversity/VST

@PrincetonUniversity

Cadeia de Ferramentas de Software Verificada

↗ Abrir no GitHub

Estrelas

508

Bifurcações

103

Linguagem

Rocq Prover

Licença

NOASSERTION

Último push

há 3 dias

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