Verifica della correttezza nei giochi: esempio con Chicken Road 2.0