1. What is formal verification?;Sanghavi,2010
2. Formal Refinement for Operating System Kernels, chap. 5;Craig,2007
3. Dam, M., Guanciale, R., Khakpour, N., Nemati, H., Schwarz, O.: Formal verification of information flow security for a simple arm-based separation kernel. In: Proceedings of the 20th ACM Conference on Computer and Communications Security (CCS13). pp. 223234. ACM, New York, NY, USA (2013).
4. Formal methods for security in the xenon hypervisor;Freitas;International journal on software tools for technology transfer,2011
5. Applying formal methods to a certifiably secure software system;Heitmeyer;IEEE Transactions on Software Engineering,2008