Measuring the VM Test’s Coverage with the Lem Model | by Yoichi Hirai | Medium - discu.eu

Reddit

Measuring the VM Test’s Coverage with the Lem Model https://medium.com/@pirapira/measuring-the-vm-tests-coverage-with-the-lem-model-2e938e4bb391#.y8drjvesa 6 comments 6/1/2017 ethereum

Linked pages

GitHub - pirapira/eth-isabelle: A Lem formalization of EVM and some Isabelle/HOL proofs https://github.com/pirapira/eth-isabelle 4 comments

Related searches:

Search whole site: site:medium.com

Search title: Measuring the VM Test’s Coverage with the Lem Model | by Yoichi Hirai | Medium

See how to search.

Submit link to: