Examples with "Verifasts" 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.
Hinter den Kulissen bindet Verifasts SQL-Datenbank das Venenmuster Palm auf eine Datenbank-Mitgliedsnummer.
Behind the scenes, Verifast's SQL database ties the palm vein pattern to a member database number.
Andere resultaten
VeriFast dagegen dient der Analyse von Quellcode in C oder Java mit Eigenschaften, die in der sogenannten Separation Logic geschrieben wurden.
VeriFast, on the other hand, is an analyser for C and Java source code annotated with predicates written in separation logic.
Die Verifast-Datenbank verbindet die Nummer, die das Mitglied nicht kennt, mit Fiservs DNA-Kern, der zeigt dann das Profil des Mitglieds.
The Verifast database links the number, which the member does not know, to Fiserv's DNA core, which then displays the member's profile.
"Darüber hinaus werden einige der mit den Frama-C- und VeriFast-Plattformen entwickelten Tools als Open Source-Tool veröffentlicht, während andere als Prototypen die Grundlage für weitere Forschungsarbeiten bilden werden."
'Furthermore, among the new tools developed in the Frama-C and Verifast platforms, several will be distributed in open source, while others remain as prototypes as further research continues.'
Schlüsselwörter STANCE, Toolbox, Quellcode, C++, Java, IT-Sicherheit, Frama-c, Verifast, Code-Analyse, Bedrohungen, Diagnose, Software, Wartung, Schwachstellen
Keywords STANCE, toolbox, source code, C++, java, cyber security, frama-c, verifast, code analysis, threats, diagnostic, software, maintenance, vulnerability
