889 followers
@alisaesage IIRC it was done in the context of Verisoft. They published a paper titled “Verifying the Microsoft Hyper-V Hypervisor with VCC”. Unfortunately l can only find a link to Springer with the abstract even though I am sure I have the PDF somewhere