PrincetonUniversity / VST

git clone https://github.com/PrincetonUniversity/VST.git

Verified Software Toolchain

—

stars, 24h

—

stars, 7 days

—

stars, 30 days

511

★ total

106

forks · 33 open issues

Star history starts 2026-10-20; the chart appears after the second daily snapshot.

LanguageRocq Prover

License—

Created2014-11-21 (11y ago)

Last push5d ago

OwnerOrganization

GitHub topics

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

Links

GitHub: github.com/PrincetonUniversity/VST
Homepage: https://vst.cs.princeton.edu
Releases · Issues · Hacker News mentions