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