A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C.

Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frdric Loulergue

Browse the full FMICS paper archive.