Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
algorithmic verification techniques
Examples with "algorithmic verification techniques" and their translation in Duits
Diagrams integrate deductive and algorithmic verification techniques for the verification of finite and infinite-state systems, thus combining the expressive power and flexibility of deduction with the automation provided by algorithmic methods.
Diagramme integrieren die deduktiven und algorithmischen Techniken zur Verifikation endlicher und unendlicher Systeme, dadurch kombinieren sie die Ausdrucksstärke und die Flexibilität von Deduktion mit der von algoritmischen Methoden unterstützten Automatisierung.
Andere resultaten
Each vulnerability is considered with regard to its most effective verification technique and general countermeasures.
Jede Schwachstelle wird hinsichtlich ihrer effektivsten Verifikationstechnik und generell gehaltener Gegenmaßnahmen betrachtet.
Due to the integrated verification technique the gap between the complementary analysis methods gets closed.
Durch die integrierte Verifikationstechnik für Protokolle wird die Lücke zwischen komplementären Analysemethoden geschlossen.
The second part of the thesis improves on existing verification techniques to enhance their efficiency.
Der zweite Teil der Dissertation verbessert bestehende Verifikationstechniken hinsichtlich ihrer Effizienz.
These questions require the development of new theories, rapid algorithms, and automated verification techniques.
Dies fordert die Entwicklung neuer Theorien, blitzschnelle Algorithmen und automatisierte Verifikationstechniken.
The second verification technique is automated induction.
Die zweite Technik ist automatisierte Induktion.
To be of practical relevance, however, formal verification techniques should be mechanized and automatized as far as possible.
Um jedoch praktisch einsetzbar zu sein, sollten formale Verifikationstechniken mechanisiert und so weit wie möglich automatisiert sein.
Test and verification techniques are used in each step to guarantee the correctness of the modeling work.
In jedem Schritt werden Test- und Verifikationstechniken eingesetzt.
Remote idendity verification technique using a personal identification device
Technik zur Fernüberprüfung der Identität mit einer persönlichen Identifizierungsvorrichtung
Only basic verification techniques have been applied and appear to indicate a risk of irregularities in the awarding of project funding.
Es wurden lediglich grundlegende Prüfungstechniken... angewandt, die offenbar auf die Gefahr von Unregelmäßigkeiten bei der Mittelvergabe für Vorhaben schließen lassen.
In contrast, formal verification techniques like model checking can be used to guarantee the correctness of a design.
Im Gegensatz dazu können formalen Verifikationstechniken wie Model Checking dazu verwendet werden, die Korrektheit eines Designs zu gewährleisten.
Improve customer acquisition and satisfaction by limiting invasive identity verification techniques
Steigert die Kundenzufriedenheit und fördert die Kundenakquisition durch die Begrenzung von invasiven Techniken zur Identitätsprüfung.
The secure bank account and credit card verification techniques employed by PayPal ensure absolute protection and zero tolerance for fraudulent activity.
Die sicheren Bankkonto- und Kreditkartenverifizierungemethoden, die PayPal einsetzt, gewährleisten absoluten Schutz und keinerlei Toleranz für betrügerische Aktivitäten.
Synoniemen voor algorithmic verification techniques in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 69. Exact: 1. Verstreken tijd: 159 ms.
