Engels

Arabisch Catalaans Chinees Deens Duits Engels Frans Grieks Hebreeuws Hindi Hongaars Italiaans Japans Koreaans Nederlands Oekraïens Perzisch Pools Portugees Roemeens Russisch Slowaaks Spaans Thai Tsjechisch Turks Vietnamees Zweeds

Duits

Definitie Arabisch Catalaans Chinees Deens Duits Engels Frans Grieks Hebreeuws Hindi Hongaars Italiaans Japans Koreaans Nederlands Oekraïens Perzisch Pools Portugees Roemeens Russisch Slowaaks Spaans Thai Tsjechisch Turks Vietnamees Zweeds

Favorieten

Publiciteit

PROGRAM VERIFICATION

Vertaling van "PROGRAM VERIFICATION" in Duits

Programmverifikation

Programmrichtigkeitsprüfung

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).

ERASE AND PROGRAM VERIFICATION CIRCUIT FOR NON-VOLATILE MEMORY

LÖSCH- UND PROGRAMMPRÜFUNGSSCHALTUNG FÜR NICHTFLÜCHTIGE SPEICHER

METHOD FOR REMOTE INCREMENTAL PROGRAM VERIFICATION AND INSTALLATION ON RESOURCE-CONSTRAINED DEVICES

VERFAHREN FÜR DIE SCHRITTWEISE FERNÜBERPRÜFUNG EINES PROGRAMMS UND DIE INSTALLATION AUF GERÄTEN MIT BESCHRÄNKTEN BETRIEBSMITTELN

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.