Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
verification problem
Vertaling van "verification problem" in Duits
Verifikationsproblem
Fortunately, there's a small workaround to the two-step verification problem.
Glücklicherweise gibt es eine kleine Problemumgehung für das zweistufige Überprüfungsproblem.
An important verification problem appears in some installations (e.g. in Cadarache and Sellafield) where old plutonium-holding materials are stored.
Ein größeres Verifizierungsproblem tritt in einigen Anlagen zu Tage (z. B. in Cadarache und Sellafield), in denen alte plutoniumhaltige Materialien gelagert werden.
Instead, it maintains the locality of the analysis of each component and reduces the original verification problem into a polynomial-time solvable problem.
Es erhält die Lokalität der Analyse jeder einzelnen Systemkomponente und reduziert das ursprüngliche Verifikationsproblem zu einem Problem, das in polynomieller Zeit gelöst werden kann.
In particular, by providing both bisimulation and property based verification, we allow the developer to divide the verification problem into subproblems, which eases verification significantly.
Dadurch dass wir sowohl bisimulations- als auch eigenschaftsbasierte Verifikation ermöglichen, erlauben wir dem Entwickler insbesondere, das Verifikationsproblem in Teilprobleme zu zerlegen. Dies vereinfacht die Verifikation erheblich.
It also says that an important verification problem appears in some installations, including Sellafield where old plutonium-holding materials are stored.
Außerdem ist von einem erheblichen Verifikationsproblem bei bestimmten Anlagen die Rede, unter anderem in Sellafield, wo noch plutoniumhaltige Materialien aus früheren Zeiträumen gelagert würden.
Synoniemen voor verification problem in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 5. Exact: 5. Verstreken tijd: 152 ms.
