verifast/verifast
View on GitHub ↗ ★ 530 Rust
Research prototype tool for modular formal verification of C, Rust and Java programs
5 mentions on Hacker News by 5 people: 2 stories, 3 comments · first 2018-01-24 · latest 2025-06-03
20082026
-
…-- I believe people are using Verifast for loop-heavy code instead: https://github.com/verifast/verifast (this hole patchwork of multiple tools mostly consumed as binary downloads is miserable) Here's an attempt to gradually v
comment by yencabulator · 2025-06-03 · in What works (and doesn't) selling formal methods -
…the failure. (You can then inspect that and decide whether your code or model is wrong.) [0]: https://github.com/verifast/verifast
comment by fdupress · 2023-02-25 · in Show HN: Moochacha, quantum-safe file encryption (analyzed by Frama-C) -
▲ 2
VeriFaststory by skibz · 2021-02-19 · 0 comments
-
…whose causes include unlocked memory accesses, resource leaks, and bad reference counts. 0. https://github.com/verifast/verifast 1. https://metasepi.org/en/posts/2020-10-14-avoid-freebsd-secur...
comment by moonchild · 2021-02-02 · in Refactoring the FreeBSD Kernel with Checked C [pdf] -
▲ 3
Research prototype tool for modular formal verification of C and Java programsstory by StreamBright · 2018-01-24 · 0 comments