Esempi verifiche ASM