A formal semantic definition of DEVIL
Lei Luo, Ming-Yuan Zhu, Qing-Li Zhang · ACM SIGPLAN Notices · 2003
In this paper we present a formal semantic definition of a device interface language called DEVIL (DEVice Interface Language). The semantic model is based on a high-order logic system supported by a mathematical theorem proof development system called PowerEpsilon . This work is intended for fully understanding semantics of DEVIL and will be used as a reference-guide in implementation project for the embedded real-time operating system δ- OS .