Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
Program verification
Vertaling van "Program verification" in Duits
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.
It also illustrates concepts such as Boole'an logic and program verification (pre- and post-conditions, invariants etc.).
Zudem lassen sich auch Konzepte wie Boole'sche Aussagenlogik und Programmverifikation (Pre-Conditions, Invarianten etc.) aufzeigen.
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).
Program verification and internal node observability
Programm veri fi Kation und interne Knotenwahrnehmbarkeit
Program verification (tutorial session) - Algorithm visualization in computer science laboratories (Thomas L. Naps) (1990)
Informatik und Computernutzung im schweizerischen Bildungswesen - Bestandesaufnahme 1989 (Ruedi Niederer, Karl Frey) (1990)
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.
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.
Synoniemen voor Program verification in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 574. Exact: 35. Verstreken tijd: 94 ms.
