-
- Вот.... скоро совратим всех на Аду :-) - OlegPowerC(28.02.2020 01:10)
- А инструмент для совращения есть? А то у меня только книжка советских времён. - Крок(28.02.2020 13:46)
- Не факт! Frama имеет весьма привлекательную идеологию, никак не противоречащую эффективности кодогенерации С. - Evgeny_CD(28.02.2020 01:23)
- Причем пилят его как-то очень активно! - Evgeny_CD(28.02.2020 00:52)
- YES!!!! [ACSL] The ANSI/ISO C Specification Langage Язык описания поведения анализатора кода! -> Копались в моей голове.... Evgeny_CD(221 знак., 28.02.2020 00:22, ссылка)
- Осторожнее Евгений, на всех вашей головы не хватит! :) - Ralex(28.02.2020 11:20)
- Офигеть! Да что же сегодня за день такой - когда открываются тайны Вселенной... Свежая книга Introduction to C program proof with Frama-C and its WP plugin Лицензия свободная. Evgeny_CD(250 знак., 28.02.2020 01:01)
- Статья Evgeny_CD(28.02.2020 00:55)
- вот m16_home(28.02.2020 00:25)
- Спасибо! - Evgeny_CD(28.02.2020 00:31)
- если у тебя FireFox m16_home(100 знак., 28.02.2020 00:35)
- Хром. - Evgeny_CD(28.02.2020 00:41)
- если у тебя FireFox m16_home(100 знак., 28.02.2020 00:35)
- Спасибо! - Evgeny_CD(28.02.2020 00:31)
- OlegPowerC -> --> А кто-нибудь еще это чудо щупал? - Evgeny_CD(27.02.2020 23:39, ссылка, ссылка)
- Да, есть у меня человек, он очень хорошо в этом разбирается - OlegPowerC(27.02.2020 23:54)
- Вот.... скоро совратим всех на Аду :-) - OlegPowerC(28.02.2020 01:10)