What is the translation of " SOFTWARE VERIFICATION " in German?

• Softwareverifikation
• die Softwareüberprüfung
• für die Softwareverifizierung
• softwareverifizierungs

Examples of using Software verification in English and their translations into German

Software verification and validation.
Software Verifizierung und Validierung.

JuliaSoft is an innovative technology company specialized in software verification.
JuliaSoft ist ein innovatives Technologieunternehmen, spezialisiert auf Software Verifizierung.

The new book covers deductive software verification as realised by the KeY approach.
Das neue KeY -Buch beschreibt alle Aspekte der Deduktiven Softwareverifikation, wie sie im KeY -Ansatz realisiert ist.

In this way, the software verification carried out during development also has an effect on aftersales processes.
Die bereits bei der Entwicklung durchgeführte Softwareverifikation wirkt sich auf diese Weise auch auf die Abläufe im Aftersales aus.

The Aeolus project which is being undertaken on behalf of ESA involves sensitivity studies and software verification of the operational Level 1B and Level 2A processors.
Das von der ESA beauftragte Aeolus-Projekt befasst sich mit Sensitivitätsstudien und der S/W-Verifizierung der operationellen Level 1B und Level 2A Prozessoren.

Virtual ECUs from ISOLAR-EVE facilitate software verification for quality improvement and a reduction in development time right in the early development phases.
Virtuelle Steuergeräte aus ISOLAR-EVE ermöglichen die Softwareverifikation zur Qualitätsverbesserung und Reduktion der Entwicklungszeit bereits in frühen Entwicklungsphasen.

Another area of focus is the utilization of verification methods for industrial problems(e.g. product configuration, software verification), in particular for the automotive industry.
Ein weiterer Schwerpunkt ist die Nutzbarmachung von Verifikationsmethoden für industrielle Probleme(Produktkonfiguration, Software-Verifikation), insbesondere für die Automobilindustrie.

The LDRA tool suite is the most complete software verification and validation solution for the development of medical device software..
Die LDRA Werkzeugreihe ist die vollständigste Softwareverifizierungs- und -validierungslösung für die Entwicklung medizintechnischer Software.

The LabX Initial Software verification Package(IPac) is a service product of METTLER TOLEDO to ensure successful software installation and proper operation at the installation site.
Das LabX Initial Software Verification Package(IPac) ist ein Serviceprodukt von METTLER TOLEDO, das die erfolgreiche Softwareinstallation und den ordnungsgemässen Betrieb am Installationsort sicherstellt.

LDRA has selected Logic Technology for Germany, Benelux, Austria and Switzerland for sales and support of companies seeking standards and software verification whether for industrial safety, medical, avionics or automotive markets.
LDRA entscheidet sich für Logic Technology in Deutschland, Benelux, Österreich und der Schweiz für Vertrieb und Unterstützung von Firmen die Standards und Software Verifikation benötigen in den Märkten Industrielle Sicherheit, Medizintechnik, Luftfahrtelektronik oder Fahrzeugindustrie.

The integration of deductive software verification and bounded model checking(BMC) is subject of our current activities and is joint work together with the working group of Dr. C. Sinz.
Die Integration von deduktiver Programmverifikation und Bounded Model Checking(BMC) ist Gegenstand aktueller Arbeiten in Zusammenarbeit mit der Arbeitsgruppe von Dr. C. Sinz.

Use the services offered from METTLER TOLEDO for software verification(IPac) or full validation of your system with the Validation Manuals I& II.
Nutzen Sie das Serviceangebot von METTLER TOLEDO für die Softwareüberprüfung(IPac) oder vollständige Validierung Ihres Systems entsprechend den Validierungshandbüchern I und II.

LDRA, the leading provider of automated software verification, source code analysis and test tools, has extended the interface between the LDRA tool suite and IAR Embedded Workbench.
LDRA, der Marktführer im Nachweis von Standards durch Werkzeuge für die automatisierte Softwareverifizierung, Quellcodeanalyse und weiterer Testwerkzeuge hat die Schnittstelle zwischen der LDRA Werkzeugreihe und IAR Embedded Workbench erweitert.

Until moving to Luxembourg in January 2012, he founded and was heading the Certus Center for Software Verification and Validation at Simula Research Laboratory in Norway, where he was leading applied research projects in collaboration with industrial partners.
Bevor er im Januar 2012 nach Luxemburg kam, gründete und leitete er das Certus Center for Software Verification and Validation am Simula Research Laboratory in Norwegen, wo er gemeinsam mit Industriepartnern angewandte Forschungsprojekte durchführte.

LDRA, the leading provider of automated software verification, source code analysis and test tools, announces LDRA tool suite support for Jenkins, a continuous integration platform that automates and manages the build process for large-scale, system-level software projects.
LDRA, der führende Anbieter von Software zur automatisierten Softwareverifizierung, der Quellcodeanalyse und weiterer Testwerkzeuge, kündigt die Unterstützung der LDRA Werkzeugreihe für Jenkins an, einer kontinuierlichen Integrationsplattform, die den„Build-“Prozess und die Verwaltung für Softwareprojekte auf Systemebene und in großem Rahmen automatisiert und verwaltet.

His NASA assignments have included lead chase pilot for the maiden voyage of Space Shuttle Columbia, software verification in the Shuttle Avionics Integration Laboratory(SAIL), capsule communicator(CAPCOM) for STS-5, STS-6, and STS-7, Flight Data File(FDF) Manager, and orbital rendezvous procedures development.
Er war Beobachtungspilot für die erste Shuttle-Mission STS-1, er überprüfte Software im Shuttle Avionics Integration Laboratory(SAIL), er war Verbindungssprecher(CAPCOM) für die Missionen STS-5, STS-6 und STS-7 und arbeitete auch als sogenannter Flight Data File(FDF) Manager.

LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, now offers unprecedented verification of the model through a sophisticated integration with MATLAB and Simulink.
LDRA, der führende Anbieter von automatisierten Softwareverifizierungs-, Quellcodeanalyse- und anderen Testwerkzeugen bietet nunmehr eine beispiellose Verifizierung des modellbasierten Entwurfs durch eine komplexe Integration mit MATLAB und Simulink an.

LDRA, the leading provider of automated software verification, source code analysis and test tools, has released LDRAcover™, a stand-alone code coverage tool that verifies the source code of an application has been fully structurally tested.
LDRA, der führende Anbieter von Werkzeugen zur automatisierten Softwareverifizierung, Quellcodeanalyse und weiteren Testwerkzeugen, hat LDRAcover™ freigegeben, ein eigenständiges Codeüberdeckungswerkzeug, welches den Quellcode einer Softwareanwendung daraufhin verifiziert, dass er vollkommen strukturell getestet wird.

LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, and MathWorks, the leading developer of mathematical computing software, have extended the integration of the LDRA tool suite with MathWorks Simulink modelling tools.
LDRA, der Marktführer im Nachweis von Standards durch Werkzeuge für die automatisierte Softwareverifizierung, Quellcodeanalyse und weitere Testwerkzeuge und MathWorks, der führende Entwickler mathematischer Rechnersoftware, haben die LDRA Werkzeugreihe mit den Simulink Modellwerkzeugen integriert.

Use the services offered from METTLER TOLEDO for software verification(IPac) or full validation of your system with the Validation Manuals I& II. A sophisticated user management, electronic signatures and release process for methods and reports are additional handy features of LabX that support your daily reporting. Learn more.
Nutzen Sie das Serviceangebot von METTLER TOLEDO für die Softwareüberprüfung(IPac) oder vollständige Validierung Ihres Systems entsprechend den Validierungshandbüchern I und II. Eine fortschrittliche Benutzerverwaltung, elektronische Signaturen und ein Freigabeprozess für Methoden und Protokolle sind weitere praktische Funktionen, mit denen LabX Ihre täglichen Protokolle unterstützt. Weitere Informationen.

Camera+ lighting+ verification software based on international standards.
Kamera+ Beleuchtung+ Prüfsoftware basierend auf internationalen Normen.

How to develop your own verification software for online voting.
So entwickeln Sie eine eigene Verifikationssoftware für Online-Wahlen.

The verification software provides proALPHA with data on the addresses resulting from the verification..
Von der Prüfsoftware werden für proALPHA Daten zu den Adressen bereitgestellt, die aus den Prüfungen resultieren.