Examples with "Programm Verifikation" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Hierbei handelt es sich um einen Kalkül für Gleichheitsbeweise, welche typischerweise bei der Verifikation funktionaler Programme auftreten.
The a-calculus is a logical calculus for solving equational problems, which typically occur during the verification of a functional program.
In dieser Dissertation zeigen wir, wie die Verifikation funktionaler Programme zweiter Ordnung durch halb-automatische Theorembeweiser unterstützt werden kann.
In this thesis we show how the verification of second-order functional programs can be supported by semi-automated theorem provers.
Bedarfsgerechte Entwicklung, Anwendung und Verifikation von Programmen in enger Kooperation mit der Industrie
development, application and verification of simulation tools according to the demands of the industry
Die Profillinie widmet sich daher der Entwicklung von Programmiermethoden und -werkzeugen mit dem Ziel, die Erstellung effizienter paralleler Programme sowie die Verifikation ihrer Korrektheit deutlich zu vereinfachen.
Hence, this line of research is concerned with programming methodologies and tools to significantly simplify the tasks of developing efficient parallel programs and verifying their correctness.
Verfahren zur Verifikation eines Programms, welches in einer Sprache für speicher-programmierbare Steuerungen vorliegt, durch einen Rechner
Method for computer verification of a program, which is present in a language for a programmable logic control
In der Arbeit werden neuartige Constraint basierte Verifikationsmethoden und Lösungsverfahren für Constraint-Probleme vorgestellt, welche eine effizientere Verifikation von Programmen erlauben.
In the thesis, we present novel constraint based verification methods and algorithms for constraint solving that increase the efficiency of software verification.
So kann zum Beispiel die Sorge um geistiges Eigentum verhindern, dass ein Programm Spezialisten zur Verifikation vorgelegt wird, und bei Analysen wie der Erkennung von Schadprogrammen ist grundsätzlich nur eine Binärdatei verfügbar.
For instance, intellectual property issues can prevent source code from being accessible to verification specialists, and some analyses, such as malware detection, are by definition required to work with executables.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
