-
Progetto del corso Linguaggi di Programmazione e Verifica Software tenuto a Urbino.
-
Questo progetto è stato realizzato con l'utilizzo del software: https://nusmv.fbk.eu/
-
nel file si trovano tutte le informazioni per l'esecuzione e per la verifica del modello proposto dall'articolo accademico.
Ringrazio le uniche due persone che mi sostengono in questo percorso.
Per una donazione, se il mio lavoro è stato utile un caffe in segno di amicizia, altrimenti anche un messaggio di ringraziamento.
cup of coffe https://www.paypal.com/donate/?hosted_button_id=A3AQE2CXQ79CN