Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
EmbeddedValidator provide
Exemples avec "EmbeddedValidator provide" et leurs traductions en allemand
For safety-critical applications, BTC EmbeddedSpecifier and BTC EmbeddedValidator provide an efficient and intuitive way to formally specify and validate safety-critical requirements.
Für sicherheitskritische Anwendungen bieten der BTC EmbeddedSpecifier und der BTC EmbeddedValidator eine effiziente und intuitive Möglichkeit zur formalen Spezifikation und formalen Verifikation der sicherheitskritischen Anforderungen.
Autres résultats
In case a requirement can be violated, BTC EmbeddedValidator provides a counter example in the form of a test case.
Sollte es doch möglich sein eine Anforderung zu verletzen, generiert BTC EmbeddedValidator automatisch einen Testfall als Gegenbeispiel.
BTC EmbeddedValidator uses Model-Checking technology to automatically provide complete mathematical proof that shows a requirement cannot be violated by the analyzed system.
BTC EmbeddedValidator nutzt Model Checking Technologie, um automatisch mit einem vollständigen mathematischen Beweis zu zeigen, dass eine Anforderung nicht verletzt werden kann.
Synonymes et analogies de "EmbeddedValidator provide" en anglais
Le mot et l’expression du jour
L’image du jour
Résultats: 3. Exacts: 1. Temps écoulé: 267 ms.
