About
Research prototype tool for modular formal verification of C, Rust and Java programs
518
⭐ Stars
78
🍴 Forks
0
📊 Data Points
0
📋 Lists
Star Growth
Tracking started Oct 8, 2026 at 518 stars. Growth appears after the next check.
Trending History
No trending data available yet.
Similar Repositories
Related by topic and descriptionQuick Info
Language
Rust
Last Push
Oct 08, 2026
Activity
Active
Indexed
Oct 08, 2026