@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
889 followers
652 followers
RT @yongyuanxi: @TJO_datasci 後まあ基本的にやっているのはCode ReviewじゃなくてFormal Verificationですね。https://t.co/iUzQPLdSYw 自動車業界も最近は特にFormal Verificaitonに関す…
835 followers
RT @yongyuanxi: @TJO_datasci 後まあ基本的にやっているのはCode ReviewじゃなくてFormal Verificationですね。https://t.co/iUzQPLdSYw 自動車業界も最近は特にFormal Verificaitonに関す…
399 followers
RT @yongyuanxi: @TJO_datasci 後まあ基本的にやっているのはCode ReviewじゃなくてFormal Verificationですね。https://t.co/iUzQPLdSYw 自動車業界も最近は特にFormal Verificaitonに関す…