Bibliotecas escritas en Promela

Código de fuente abierta para papel RFCNLP..

Repositorio que contiene nuestra versión modificada de la herramienta de síntesis del atacante KORG.