Публикации

Для знакомства с основами моделирования и верификации ПО, а также подходами к их инструментальной реализации мы рекомендуем следующие статьи.

  1. Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, and Boris Yakobowski. FRAMA-C, A Software Analysis Perspective // Proceedings of International Conference on Software Engineering and Formal Methods (SEFM), 2012.

  2. Dillon Pariente, Emmanuel Ledinot. Formal Verification of Industrial C Code using Frama-C: a Case Study // Proceedings of First International Conference on Formal Verification of Object-Oriented Software (FoVeOOS), 2010.

  3. Yannick Moy. Automatic Modular Static Safety Checking for C Programs // Phd Thesis, 2009.

  4. Romain Bardou. Verification of Pointer Programs Using Regions and Permissions // Thèse de doctorat, Université Paris-Sud, 2011.

  5. Yannick Moy and Claude Marché. Modular Inference of Subprogram Contracts for Safety Checking // Journal of Symbolic Computation, 2010.

  6. Claude Marché. Verification of the Functional Behavior of a Floating-Point Program: An Industrial Case Study // Science of Computer Programming, 2014.

  7. Ali Ayad. On Formal Methods for Certifying Floating-Point C Programs // Research Report RR-6927, INRIA, 2009.

  8. Sylvie Boldo. Floats and Ropes: A Case Study for Formal Numerical Program Verification // Proceedings of 36th Internatilonal Colloquium on Automata, Languages and Programming (ICALP), 2009.

  9. Sylvie Boldo and Thi Minh Tuyen Nguyen. Hardware-Independent Proofs of Numerical Programs // Proceedings of the Second NASA Formal Methods Symposium, 2010.

  10. Mickaël Delahaye, Nikolai Kosmatov, and Julien Signoles. Common Specification Language for Static and Dynamic Analysis of C Programs // Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC), 2013.

Монографии

  1. П.Н. Девянин, Д.В. Ефремов, В.В. Кулямин, А.К. Петренко, А.В. Хорошилов, И.В. Щепетков. Моделирование и верификация политик безопасности управления доступом в операционных системах. – М.: Горячая линия – Телеком, 2019.