@inproceedings{9333b0d9b49146ae8dd0f331b93b1662,
title = "Towards formal verification of interrupts and hypercalls",
author = "Andrew Butterfield and Alexandre Cortier and Kevin Hennessy and Mike Hinchey",
year = "2016",
month = aug,
day = "1",
language = "English",
series = "European Space Agency, (Special Publication) ESA SP",
publisher = "European Space Agency",
editor = "L. Ouwehand",
booktitle = "Proceedings of DASIA 2016 - DAta Systems in Aerospace",
note = "DAta Systems in Aerospace Conference, DASIA 2016 ; Conference date: 10-05-2016 Through 12-05-2016",
}