Add more detail to Dexter audit report about K Framework; assume target audience is formal verification experts - Githubissues

runtimeverification / michelson-semantics

A K semantics of Tezos' Michelson language.

Other

17 stars 8 forks source link

Add more detail to Dexter audit report about K Framework; assume target audience is formal verification experts #303

Open sskeirik opened 3 years ago