Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
verification techniques
Vertaling van "verification techniques" in Duits
Verifikationstechniken
Prüftechniken
Überprüfungstechniken
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.
To comply with its philosophy, DUR-ME works in a context inspired by "customer satisfaction" with continuous checks made on materials and workmanship, guaranteed by the most modern analysis and verification techniques.
Um im Einklang mit seiner Philosophie zustehen, arbeitet DUR-ME an einem Konzept, das eng mit dem Kontext der "Kundenzufriedenheit" und den regelmäßigen Material- und Verarbeitungskontrollen steht, welches durch modernste Analyse- und Prüftechniken gewährleistet wird.
We use the very latest verification techniques to continue manufacturing machines and tools which satisfy not only the demands of our customers, but our own stringent quality standards also
Wir wenden modernste Prüftechniken an, um stets Maschinen und Werkzeuge zu produzieren, die den Anforderungen unserer Kunden entsprechen, vor allem aber den unseren, den anspruchsvollsten.
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.
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.
Model-driven software development and well-established verification techniques guarantee a high degree of software quality in early phases of the development process.
Korrektheit per Konstruktion Modellgetriebene Entwicklung und etablierte Verifikationstechniken stellen eine hohe Softwarequalität bereits in frühen Phasen des Entwicklungsprozesses sicher.
The goal of this project is to develop formal verification techniques which allow to check properties of voting rules without the huge overhead of user interaction needed in full functional verification.
Das Ziel des Projektes ist die Entwicklung formaler Verifikationstechniken, die es erlauben, Eigenschaften von Wahlverfahren ohne den riesigen Overhead einer für eine voll-funktionale Verifikation notwendigen Nutzer-Interaktion zu überprüfen.
The most extensive and reliable analysis of system specifications is offered by using formal methods that allow us to obtain mathematical proofs of system correctness by applying automatic verification techniques.
Die umfassendste und zuverlässigste Analyse von Systemspezifikationen kann durch die Verwendung formaler Methoden erreicht werden, die es durch den Einsatz automatischer Verifikationstechniken ermöglichen, einen mathematischen Beweis der Systemkorrektheit zu erhalten.
The assumptions that accompany the set of systems that are verifiable with our techniques can be interpreted as general design rules that forbid to build systems at will in order to gain efficient verification techniques.
Die Annahmen, die durch die Menge der mit unseren Ansätzen verifizierbaren Systeme aufgestellt werden, können hierbei als allgemeine Entwurfsregeln verstanden werden, die es verbieten Systeme nach Belieben zu konstruieren um dafür effiziente Verifikationstechniken zu erhalten.
His research focuses on the basics and tools of formal program development, verification techniques, security modeling - in particular modeling and verification of cryptographic protocols and information flow -, interactive evidence generation, security analysis and certification.
Seine Forschungsschwerpunkte sind Grundlagen und Werkzeuge der formalen Programmentwicklung, Verifikationstechniken, Sicherheitsmodellierung, insbesondere Modellierung und Verifikation von kryptographischen Protokollen und Informationsfluss, interaktive Beweiserzeugung, Sicherheitsanalyse und Zertifizierung.
The new approach for the model-based verification of mechatronic systems is massively characterized by the integration of efficient verification techniques for the different domains, based on their domain specific model-based knowledge.
Der hier vorgeschlagene Ansatz zur modell-basierten Verifikation mechatronischer Systeme zeichnet sich durch die Integration effizienter Verifikationstechniken, basierend auf dem Modellwissen und einer geschickten Modellierung, aus.
The focus of UNRAVEL is to significantly advance probabilistic modelling and analysis for uncertainty by developing new theories, algorithms, and tool-supported verification techniques, and to apply them to core problems of security, planning, and safety and performance analysis.
UnRAVeL hat sich zum Ziel gesetzt, probabilistische Modellierung und Analyse von Ungewissheit durch die Entwicklung neuer Theorien, Algorithmen und Verifikationstechniken signifikant voranzutreiben und auf zentrale Probleme in den Bereichen Sicherheit, Planung sowie Betriebssicherheit und Leistungsanalyse anzuwenden.
Synoniemen voor verification techniques in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 50. Exact: 50. Verstreken tijd: 38 ms.
