FUJITSU DESARROLLA TECNOLOGÍA PARA DETECTAR ERRORES EN LOS CONTRATOS INTELIGENTES DE ETHEREUM