Вход Наше всё Теги codebook 无线电组件 Поиск Опросы Закон Четверг
2 мая

О смысле всего сущего 0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынок Объявления

Микроконтроллеры PLD, FPGA, DSP AVR PIC ARM, RISC-V Технологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты

Средства и методы разработки

1058208 Топик полностью

Evgeny_CD, Архитектор (06.12.2020 20:19, просмотров: 258) ответил Evgeny_CD на [Satisfiability modulo theories, SMT, задача выполнимости формул в теориях] Мощнейший математический аппарат для формальной верификации ПО (в том числе).

Coq - интерактивный решатель теорем от французов

https://en.m.wikipedia.org/wiki/Coq

Ответить

- На нем сделан CompCert is a formally verified optimizing compiler for a large subset of the C99 programming language (known as Clight) which currently targets PowerPC, ARM, RISC-V, x86 and x86-64 architectures. - Evgeny_CD(06.12.2020 20:34, ссылка)