-
- Опыт пока маленький - выложу что нибудь стоещее на 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)