Examples with "Quellcode-Verifikation" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Der Editor bietet Autovervollständigung für Code (HTML, CSS und JavaScript) sowie Quellcode-Verifikation und einen integrierten FTP-Client.
Syntax or snippets and other options are added to the traditional characteristics such as autocompletion of codes (HTML, CSS and JavaScript), such as a source code verification or an integrated FTP.
Andere resultaten
Ergänzend werden beispielsweise Code-Walkthroughs zur Verifikation von Quellcode, Funktionen und Algorithmen durchgeführt.
Während die Verifikation von Quellcode in den letzten Jahrzehnten viel Aufmerksamkeit auf sich gezogen hat, ist das Ziel dieser Arbeit eine Infrastruktur für korrekte Analysen von Binärdateien bereitzustellen, um dadurch das Verstehen und die Verifikation von ausführbaren Programmen zu ermöglichen.
While program verification at the source code level has received much attention in the last decades, this thesis focuses on providing a sound and precise analysis framework for binaries, thereby enabling the understanding, auditing, and verification of executable programs.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor Quellcode-Verifikation in het Duits
