1. An empirical study of operating systems errors;Chou,2001
2. Coverity. Analysis of the linux kernel. http://www.coverity.com/, 2004.
3. MITRE Corporation. Linux kernel : Vulnerability statistics. https://www.cvedetails.com/product/47/Linux-Linux-Kernel.html. Accessed: 2018-06-30.
4. Proving the correctness of multiprocess programs;Lamport;IEEE Trans. Softw. Eng.,1977
5. Intel Corporation. Intel 64 and ia-32 architectures software developer’s manuals (volume 3, charpter 35). https://software.intel.com/sites/default/files/managed/a4/60/325384-sdm-vol-3abcd.pdf. Accessed: 2018-06-30.