Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
Register for free: access more results and features
program verification
Translation of "program verification" in German
Thus, the course focuses on techniques to automate the task of program verification.
Das Ziel der Vorlesung ist daher die Vermittlung von Techniken zur Automatisierung der Programmverifikation.
Moreover, you should have knowledge in "logic programming", "automated program verification", or "functional programming" from earlier semesters.
Darüber hinaus sollten Sie Kenntnisse in "Logikprogrammierung", "Automatisierter Programmverifikation" oder "Funktionaler Programmierung" aus früheren Semestern besitzen.
KeY is actually a JVM for program verification.
KeY ist eigentlich eine JVM für Programmverifikation.
The aim of this course is to introduce Model Checking as an automatic approach to program verification.
Dieser Kurs führt in das Thema Model Checking ein. Dies ist ein automatischer Ansatz zur Programmverifikation.
Participants should have some knowledge in program verification or related areas (for example "term rewriting", "mechanized program verification", or "functional programming"). It is also possible to attend the course on "functional programming" this semester.
Kenntnisse in Programmverifikation oder verwandten Gebieten (z.B. "Termersetzungssysteme", "Automatisierte Programmverifikation" oder Besuch der Vorlesung "Grundlagen der Funktionalen Programmierung" in diesem Semester).
Several techniques and methods for program verification will be presented in this seminar.
In diesem Seminar werden verschiedene Techniken und Verfahren zur Verifikation von Programmen vorgestellt.
Full readback capability for program verification and internal node observability
Volle Readbackfähigkeit für Programmüberprüfung und interne Knotenwahrnehmbarkeit
The program verification means of claim 29, wherein said means for measuring is done using a drain voltage.
Einrichtung zum Verifizieren der Programmierung nach Anspruch 29, bei der die Einrichtung zum Messen mit einer Drain-Spannung arbeitet.
The program verification means of claim 29, wherein the means for disconnecting bias and floating said drain and source diffusions allows a transfer of charge between said drain and said source until an equilibrium exists.
Einrichtung zum Verifizieren der Programmierung nach Anspruch 29, bei der die Einrichtung zum Trennen der Vorspannung und zum Floatenlassen der Drain- und Source-Diffusion einen Ladungsübergang zwischen dem Drain und der Source ermöglicht, bis ein Gleichgewicht besteht.
Program verification and internal node observability
Programm veri fi Kation und interne Knotenwahrnehmbarkeit
This will save valuable machine time normally associated with program verification on the machine tool.
Dies spart wertvolle Maschinenzeit, die normalerweise zur Überprüfung der Programmierung aufgewendet werden muss.
A method according to claim 2, characterized the program verification is performed on initialization of the card in the time between two series of initialization response bytes.
Verfahren gemäß Anspruch 2, dadurch gekennzeichnet, dass die Überprüfung des Programms zum Zeitpunkt der Initialisierung der Karte zwischen zwei Antwort-Byte-Serien bei der Initialisierung ausgeführt wird.
For the purpose of evaluation, both approaches have been fully implemented in the tool KEG, which is based on the state-of-the-art program verification system KeY.
Die beiden Ansätze wurden implementiert und sind als Programmanalysewerkzeug KEG, basierend auf dem deduktiven Verifikationssystem KeY, verfügbar.
Synonyms and analogies of "program verification" in English
Word & Expression of the day
Image of the day
Suggestions that contain program verification
Results: 524. Exact: 33. Elapsed time: 70 ms.
