HN Reader
New
Top
Best
Ask
Show
Job
Show HN: Tiny Hoare logic verifier using SMT
11
1
2 days ago
by namin
Very nice! For other readers,
vc
is short for verification condition and
wp
is short for weakest precondition.
2 days ago
by fovc
11
1