Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
mechanized program verification
Examples with "mechanized program verification" and their translation in Duits
Therefore, term rewriting systems are used in many areas like mechanized program verification, specification of programs and declarative programming.
Termersetzungssysteme werden daher in vielen Bereichen wie der automatisierten Programmverifikation, der Spezifikation von Programmen und der deklarativen Programmierung eingesetzt.
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).
Andere resultaten
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.
Program verification aims at ensuring a program satisfies a given desirable property.
Programm Verifikation versucht nachzuweisen, dass ein Programm eine gewünschte Eigenschaft erfüllt.
This course introduces users to the basics of NC program verification.
Der erste Tag führt Sie in die Grundlagen der NC-Programm-Verifikation ein.
KeY is actually a JVM for program verification.
KeY ist eigentlich eine JVM für Programmverifikation.
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.
Though program verification is known and used since decades, the verification of a complete computer system still remains a grand challenge.
Obwohl es schon jahrzehntelang Programmverifikation gibt, wird die Verifikation eines kompletten Computersystems auch heute noch als eine große Herausforderung angesehen.
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.
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.
Full readback capability for program verification and internal node observability
Volle Readbackfähigkeit für Programmüberprüfung und interne Knotenwahrnehmbarkeit
This theory is both beautiful and a powerful basis of program verification for non-terminating programs such as control systems.
Diese Theorie ist sowohl eine elegant als auch mächtige Basis für die Programmverifizierung bei nicht-terminierenden Programmen, wie z.B. Kontrollsystemen.
On the other hand, deductive program verification features a higher precision and a more expressive specification language compared to BMC.
Der Vorteil von deduktiver Verifikationis ist die höhere Präzision und die ausdrucksstärkeren Spezifikationsprachen.
Synoniemen voor mechanized program verification in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 36. Exact: 2. Verstreken tijd: 228 ms.
