Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
EmbeddedValidator provides
Exemples avec "EmbeddedValidator provides" et leurs traductions en allemand
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.
Autres résultats
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.
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 provides" en anglais
Le mot et l’expression du jour
L’image du jour
Résultats: 3. Exacts: 1. Temps écoulé: 205 ms.
