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