2024-01-31 Безопасность памяти с формальным доказательством-Memory Safety with Formal Proof

Вебинар от 2024-01-31 англ. яз., где Янник Мой (Yannick Moy) расскажет о ключевых особенностях SPARK Pro для доказательства того, что код не может выйти из строя во время выполнения, включая доказательство безопасности памяти и корректной инициализации данных.