A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C? Allan Blanchard1,3 , Nikolai Kosmatov1 , Matthieu Lemerre1 , and Fr´ed´eric Loulergue2,3 1 - Frama-C - Document - PDFSEARCH.IO

First Page	Meta Content
	A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C? Allan Blanchard1,3 , Nikolai Kosmatov1 , Matthieu Lemerre1 , and Fr´ed´eric Loulergue2,3 1 Add to Reading List Document Date: 2015-04-03 04:39:13 Open Document File Size: 283,34 KB Share Result on Facebook

A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C? Allan Blanchard1,3 , Nikolai Kosmatov1 , Matthieu Lemerre1 , and Fr´ed´eric Loulergue2,3 1Add to Reading List