Vérifié formellement, construit de manière vérifiable, rendement open source. (cela est une propagande hautement offensante et agressive pour ceux qui n'utilisent 'transparence' que comme un mot à la mode marketing)