#systematic-testing

Open source проекты по теме «systematic-testing»

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

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

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

p-org / P

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

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