1 paper
Ziyan Wang, Yan Zhang
In this paper, by using the formal language \emph{Circus}, we give a formal specification of an operating system based on ARINC 653 standard. Our specification includes interrupt h…