Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
Register for free: access more results and features
of program analysis
Translation of "of program analysis" in German
der Programmanalyse
interpretable artificial intelligence, probabilistic programming, applications of program analysis to security and reliability
Interpretierbare künstliche Intelligenz, probabilistische Programmierung, Anwendungen der Programmanalyse auf Sicherheit und Zuverlässigkeit
Many techniques have been proposed to tackle this problem, one of them being the method of slicing that has its origins in the area of program analysis where it is used to compute those parts of a program that are relevant with respect to a specific analysis task.
Zahlreiche Techniken zur Bewältigung dieses Problems wurden bereits vorgeschlagen, unter ihnen die des Slicing, das seinen Ursprung im Gebiet der Programmanalyse hat, wo es zur Berechnung derjenigen Programmteile verwendet wird, die im Hinblick auf eine bestimmte Fragestellung relevant sind.
Finally, the correctness of hardware and software systems is the major goal of research into the use of program analysis techniques and formal specification methodologies.
Die Korrektheit von Hardware- und Softwaresystemen schließlich ist das Hauptziel der Forschungsarbeiten über den Einsatz von Programmanalyseverfahren und formalen Spezifikationsmethoden.
AbsInt, a worldwide leading manufacturer of program analysis tools for safety-critical software, today has launched two new product lines.
In the STANCE project, a series of program analysis tools capable of verifying the attack security of complex software systems are to be defined, implemented and validated.
Dafür werden im STANCE-Projekt eine Reihe von Programmanalysetools definiert, implementiert und validiert, die in der Lage sind, die Angriffssicherheit von komplexen Softwaresystemen zu verifizieren.
Synonyms and analogies of "of program analysis" in English
Word & Expression of the day
Image of the day
Suggestions that contain of program analysis
Results: 5. Exact: 5. Elapsed time: 97 ms.
