228 followers
A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C. - Allan Blanchard,… http://t.co/pKveNggIWl
A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C. - Allan Blanchard,… http://t.co/pKveNggIWl