PrincetonUniversity/VST

@PrincetonUniversity

Rantai Alat Perangkat Lunak Terverifikasi (Verified Software Toolchain)

↗ Buka di GitHub

Bintang

508

Fork

103

Bahasa

Rocq Prover

Lisensi

NOASSERTION

Push terakhir

4 hari yang lalu

Rocq Prover c compcert coq coq-library coq-vst formal-methods formal-specification formal-verification proof proof-assistant verification

Belum ada intel terkait

Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.