Reto Achermann's paper "Formalizing Memory Accesses and Interrupts" accepted at MARS 2017

The paper "Formalizing Memory Accesses and Interrupts" by Reto Achermann, Lukas Humbel, David Cock and Timothy Roscoe has been accepted at MARS 2017 (2nd Workshop on Models for Formal Analysis of Real Systems), Uppsala, Sweden, April 29, 2017.