Hacker News new | ask | show | jobs
Show HN: Tiny Hoare logic verifier using SMT (github.com)
12 points by namin 360 days ago
1 comments
fovc 360 days ago
Very nice! For other readers, vc is short for verification condition and wp is short for weakest precondition.
link