#formal-methods

Open source проекты по теме «formal-methods»

Отобранные репозитории GitHub по теме formal-methods с описаниями от ИИ и ключевыми метриками.

Сортировка:Недавно добавленные

1 репозиторий

p-org / P

Язык программирования на основе конечных автоматов для формального моделирования и систематической проверки корректности распределённых систем.

3,7 тыс.225C#MITОбновлён 2 месяца назад