Evgeny_CDАрхитектор (28.02.2020 00:56, просмотров: 277) ответил Evgeny_CD на [Язык программирования SPARK] С подачи OlegPowerC -> --> ADA с какими-то модификациями.-
- Опыт пока маленький - выложу что нибудь стоещее на GitHub а ощущение отличное, от SPARK особенно - OlegPowerC(28.02.2020 01:14)
- Вот проект на ADA например (STM32) - OlegPowerC(28.02.2020 01:17, ссылка)
- Ничего себе! Интересно, насколько больше кода надо писать для реализации в будущем формальной верификации? - Evgeny_CD(28.02.2020 01:22)
- Не мой Ж-) - OlegPowerC(28.02.2020 01:17)
- Вот проект на ADA например (STM32) - OlegPowerC(28.02.2020 01:17, ссылка)
- Опыт пока маленький - выложу что нибудь стоещее на GitHub а ощущение отличное, от SPARK особенно - OlegPowerC(28.02.2020 01:14)