Публикации по теме верификации драйверов ОС Linux

  1. Breuer, P., Pickin, S.: Verification in the light and large: Large-scale verification for fast-moving open source C projects. Software Engineering Workshop, Annual IEEE/NASA Goddard (2007) 246–255.
  2. Post, H., Kuchlin, W.: Integrated static analysis for Linux device driver verification. In: Integrated Formal Methods. Volume 4591 of Lecture Notes in Computer Science., Springer-Verlag Berlin (2007) 518–537.
  3. Witkowski, T., Blanc, N., Kroening, D., Weissenbacher, G.: Model checking concurrent Linux device drivers. In: ASE ’07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, New York, NY, USA, ACM (2007) 501–504.
  4. Witkowski, T.: Formal verification of Linux device drivers. Master’s thesis, Dresden University of Technology (2007).
  5. A. Khoroshilov, V. Mutilin. «Formal Methods for Open Source Components Certification» // Milan, Italy, In Proceedings of the Second International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert’2008), 10 September 2008, pp. 52-63.
  6. A. Khoroshilov, V. Mutilin, A. Petrenko, V. Zakharov. “Establishing Linux Driver Verification Process”, // In Proceedings of the Seventh International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» (PSI 2009), Novosibirsk, Russia, June 15-19, 2009.