HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Show HN: Dress – A parameter-free O(E) graph equation that provably exceeds 1-WL
github.com/velicast
discuss
4 months ago
velicast
2 points
2.
▲
Research prototype tool for modular formal verification of C and Java programs
github.com/verifast
discuss
8 years ago
StreamBright
3 points
3.
▲
VeriFast
github.com/verifast
discuss
5 years ago
skibz
2 points