Domande d'esame VERIFICATO
Laboratorio del 13 febbraio 2023
71 visualizzazioni
Nessun voto ancora
Stai vedendo l'anteprima delle prime pagine. Il file completo è gratis: registrati per leggerlo tutto.
Di cosa parla
- Simulazione del gioco del lotto con AsmetaL: un giocatore può scommettere fino a 10 numeri tra 1 e 90; il banco estrae 5 numeri casuali per determinare la vincita.
- Proprietà temporali da verificare tramite model checking: esistenza di uno stato con cinquina, uno cammino senza vincita, e un cammino che porta a terno.
- Scenari in Avalla: riproduzione del cammino per terno e situazione con ambo su numeri specificati (2, 3, 9, 15, 23, 30, 45, 56, 67, 78).
Questo appunto è gratis. Registrati in 30 secondi per leggere tutte le pagine e scaricarlo.