#model-checking

Open source проекты по теме «model-checking»

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

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

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

p-org / P

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

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