This repository has been archived by the owner on Jan 1, 2020. It is now read-only.

Isabelle/HOL Bytecode Verification #20

Open

expede opened this issue Feb 8, 2018 · 0 comments

Labels

formal verification

Contributor

expede commented Feb 8, 2018

http://ssrg.nicta.com/publications/csiro_full_text//Amani_BSB_18.pdf

expede added the formal verification label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.