ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Суббота
20 апреля
О смысле всего сущего0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынокОбъявления
МикроконтроллерыPLD, FPGA, DSP AVRPICARM, RISC-VТехнологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты
982248 Топик полностью
Evgeny_CD, Архитектор (28.02.2020 00:22, просмотров: 312) ответил Evgeny_CD на [Frama-C] - анализатор С кода (С99) ->
YES!!!! [ACSL] The ANSI/ISO C Specification Langage Язык описания поведения анализатора кода! -> Копались в моей голове.... https://frama-c.com/acsl.html
Книга - открытая https://github.com …rfokus/acsl-by-example Вот это у меня не качается - может кто скачать и выложить? https://frama-c.com/download/acsl.pdf https://frama-c.co …load/acsl-tutorial.pdf
ACSL-by-Example.pdf
Ответить