Especificación Formal y Verificación de Contratos Inteligentes para Azure Blockchain