Die Datenflussanalyse-Engine verfügt über eine fortschrittliche industriegeprüfte SMT-Solver-Engine (Satisfiability Modulo Theories). Diese Technologie wurde für tiefgreifende statische Analysetools entwickelt.
The Dataflow analysis engine incorporates an advanced, industry-proven Satisfiability Modulo Theories (SMT) solver engine* - a technology first for deep-flow static analysis products.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
No results found for this meaning.
Synonyms and analogies of "Datenflussanalyse-Engine" in German
