Informatica - esempi di verifiche