Author:
Zhang Jinkun,Qiao Lei,Yang Hua,Xu Jian,Yang Jianyu,Miao Lei
Publisher
Springer Nature Singapore
Reference14 articles.
1. Woodcock, J., Larsen, P.G., Bicarregui, J., et al.: Formal methods: practice and experience. ACM Comput. Surv. 41(4), 1729–1739 (2009)
2. Klein, G., Elphinstone, K., Heiser, G., et al.: seL4: formal verification of an OS kernel. InL ACM Symposium on Operating Systems Principles, pp. 207–220 (2009)
3. Lecture Notes in Computer Science;E Alkassar,2008
4. Stampoulis, A., Zhong, S.: Static and user-extensible proof checking (extended version). ACM SIGPLAN Not. 47(1), 273–284 (2012)
5. Alkassar, E., Cohen, E., Hillebrand, M., et al.: Verifying shadow page table algorithms. In: Formal Methods in Computer-Aided Design (FMCAD), pp. 267–270. IEEE (2010)