Publisher
Springer International Publishing
Reference11 articles.
1. Lecture Notes in Computer Science;D Cock,2008
2. Constable, S., Sutton, R., Sahebolamri, A., Chapin, S.: Formal Verification of a Modern Boot Loader. Electrical Engineering and Computer Science - Technical Reports, August 2018. https://surface.syr.edu/eecs_techreports/183
3. Greenaway, D., Lim, J., Andronick, J., Klein, G.: Don’t sweat the small stuff: formal verification of C code without the pain. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2014, Edinburgh, UK, pp. 429–439. ACM Press (2013). https://doi.org/10.1145/2594291.2594296
4. Klein, G., Derrin, P., Elphinstone, K.: Experience report: seL4: formally verifying a high-performance microkernel. In: Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP 2009, Edinburgh, Scotland, p. 91. ACM Press (2009). https://doi.org/10.1145/1596550.1596566
5. Klein, G., et al.: seL4: formal verification of an OS kernel. In: Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles, SOSP 2009, Big Sky, Montana, USA, pp. 207–220. Association for Computing Machinery, October 2009. https://doi.org/10.1145/1629575.1629596