Библиотеки, написанные на Promela

RFCNLP

Открытый исходный код статьи RFCNLP.
  • 39

RFCNLP-korg

Репозиторий, содержащий нашу модифицированную версию инструмента синтеза атакующего KORG.
  • 4
  • MIT