Search: github.com/velicast | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Dress – A parameter-free O(E) graph equation that provably exceeds 1-WL (github.com/velicast)

2 points

3 months ago

2.

Research prototype tool for modular formal verification of C and Java programs (github.com/verifast)

3 points

8 years ago

3.

VeriFast (github.com/verifast)

2 points

5 years ago