1 paper · 1 filter
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…