asterinas / KVerus
git clone https://github.com/asterinas/KVerus.git
KVerus: Scalable and Resilient Formal Verification for Rust Code
+0
stars, 24h · #17,773
+~0
stars, 7 days · #18,248
+~0
stars, 30 days · #24,601
27
★ total
6
forks · 0 open issues
Star history (as recorded here)
LanguagePython
LicenseMIT
Created2026-07-30 (2mo ago)
Last push11d ago
OwnerOrganization