Explicitly write out spec of safety properties. - Githubissues

PLSysSec / wave

Verified Wasm runtime

20 stars 6 forks source link

Explicitly write out spec of safety properties. #8

Open enjhnsn2 opened 3 years ago