| ▲ | Show HN: Tiny Hoare logic verifier using SMT(github.com) | |
| 12 points by namin 5 days ago | 1 comments | ||
| ▲ | fovc 5 days ago | parent [-] | |
Very nice! For other readers, vc is short for verification condition and wp is short for weakest precondition. | ||
| ▲ | Show HN: Tiny Hoare logic verifier using SMT(github.com) | |
| 12 points by namin 5 days ago | 1 comments | ||
| ▲ | fovc 5 days ago | parent [-] | |
Very nice! For other readers, vc is short for verification condition and wp is short for weakest precondition. | ||