Show HN: Tiny Hoare logic verifier using SMT | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Show HN: Tiny Hoare logic verifier using SMT (github.com/namin)
		12 points by namin 8 months ago \| hide \| past \| favorite \| 1 comment

fovc 8 months ago [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact