Begriff aus der Informatik, der eine Gruppe von strengen Methoden zum Auffinden von Bugs oder Fehlern im Code im Zusammenhang mit der Computersicherheit bezeichnet (de)
computerwetenschappelijk concept met betrekking tot een groep rigoureuze methoden voor het vinden van bugs of fouten in code met betrekking tot computerbeveiliging (nl)
concetto di informatica che riguarda un gruppo di metodi rigorosi per trovare bug o errori nel codice relativi alla sicurezza informatica (it)
computer science concept regarding group of rigorous methods for finding bugs or errors in code related to computer security (en)
concept informatique concernant un ensemble de méthodes rigoureuses de recherche de bogues ou d'erreurs dans le code, en rapport avec la sécurité informatique (fr)