Salve ragazzi, sto facendo il progetto di Sistemi Distribuiti e sto trattando l'argomento delle ASM (Abstract State Machiene). Dato che dovrei fare verifica e validazione di tale ASM volevo avere alcune dritte su come realizzarle dato che non mi sono molto chiare! C'è qualcuno che mi può aiutare? Grazie