Verificato formalmente, costruito in modo verificabile, rendimento open source. (questo è altamente offensivo e una propaganda aggressiva per coloro che usano 'trasparenza' solo come una parola d'ordine di marketing)