VVB_ (18.05.2018 07:40, просмотров: 1) ответил Evgeny_CD на [Формальная верификация ПО] - [PROMELA, SPIN, Cobra] С подачи fk0 ->, которому я сильно признателен за наводку!!!-
- Никак и незачем. Как из модели корабля, прошедшей испытание в бассейне, сделать большой корабль? Всё переделать настоящими инструментами из настоящих материалов и с настоящими размерами. Верифицируется только модель, разумеется. Но если большая fk0(203 знак., 19.05.2018 00:10)
- Спасибо, внятно описал. - Evgeny_CD(19.05.2018 00:40)
- Я пока даже на полшишечки не въехад. Я просто почувствовал некий новый полход по отношению к тому, что используется традиционно. - Evgeny_CD(18.05.2018 13:49)
- Вот, например, инструмент Yakindu для реализации конечных автоматов на Си, с возможностью верификации выполнения программы уже в железе (или на ПК). Иногда пользуюсь. VVB_(904 знак., 18.05.2018 08:06,
)
- Никак и незачем. Как из модели корабля, прошедшей испытание в бассейне, сделать большой корабль? Всё переделать настоящими инструментами из настоящих материалов и с настоящими размерами. Верифицируется только модель, разумеется. Но если большая fk0(203 знак., 19.05.2018 00:10)