Verificado formalmente, construído de forma verificável, rendimento de código aberto. (isto é uma propaganda altamente ofensiva e agressiva para aqueles que usam apenas 'transparência' como uma palavra de ordem de marketing)