Librerie scritte in Promela

Codice open-source per la carta RFCNLP..

Repository contenente la nostra versione modificata dello strumento di sintesi degli attaccanti KORG..