ova 4.6GB USI https://verify2022.inf.usi.ch › Hifrog › Theoref https://verify2022.inf.usi.ch/sites/default/files/hifrog_tutorial/ubuntu_64_C6_theoryRef_demo.ova Theory Refinement [experimental] | Formal Verification and Security Lab virtual machine
