search

kth-step / HolBA

Binary analysis in HOL
Other
33 stars 20 forks source link

Partial correctness unstructured Hoare logic #152

Closed didriklundberg closed 2 years ago