Show HN: Tiny Hoare logic verifier using SMT (opens in new tab)

(github.com)

12 pointsnamin1y ago1 comments

1 comments

1 comments · 1 top-level

fovc1y ago

Very nice! For other readers, vc is short for verification condition and wp is short for weakest precondition.

j / k navigate · click thread line to collapse