Darüber hinaus sollten Sie Kenntnisse in "Logikprogrammierung", "Automatisierter Programmverifikation" oder "Funktionaler Programmierung" aus früheren Semestern besitzen.
Moreover, you should have knowledge in "logic programming", "automated program verification", or "functional programming" from earlier semesters.
Zudem lassen sich auch Konzepte wie Boole'sche Aussagenlogik und Programmverifikation (Pre-Conditions, Invarianten etc.) aufzeigen.
It also illustrates concepts such as Boole'an logic and program verification (pre- and post-conditions, invariants etc.).
KeY ist eigentlich eine JVM für Programmverifikation.
Dieser Kurs führt in das Thema Model Checking ein. Dies ist ein automatischer Ansatz zur Programmverifikation.
The aim of this course is to introduce Model Checking as an automatic approach to program verification.
VERFAHREN ZUR ABSICHERUNG VON END-USER PROGRAMMÄNDERUNGEN DURCH FORMALE KONTRAKTE UND PROGRAMMVERIFIKATION IN DER AUTOMATISIERUNGSTECHNIK
METHOD FOR SECURING END-USER PROGRAM CHANGES BY MEANS OF FORMAL CONTRACTS AND PROGRAM VERIFICATION IN AUTOMATION TECHNOLOGY
Kenntnisse in Programmverifikation oder verwandten Gebieten (z.B. "Termersetzungssysteme", "Automatisierte Programmverifikation" oder Besuch der Vorlesung "Grundlagen der Funktionalen Programmierung" in diesem Semester).
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.
Wasserstoffverbrennung mit den Unterpunkten Programmentwicklung, Experimente und Programmverifikation
Das Ziel der Vorlesung ist daher die Vermittlung von Techniken zur Automatisierung der Programmverifikation.
Thus, the course focuses on techniques to automate the task of program verification.
Termersetzungssysteme werden daher in vielen Bereichen wie der automatisierten Programmverifikation, der Spezifikation von Programmen und der deklarativen Programmierung eingesetzt.
Um die Anwendbarkeit unseres Ansatzes in der Praxis zu untersuchen, haben wir zwei unterschiedliche Anwendungen von Objektverhaltensmodellen untersucht: Lernen von Spezifikationen: Viele Ansätze zur Programmverifikation sind in der Praxis schwierig zu verwenden, da die notwendigen Spezifikationen fehlen.
To investigate the usefulness of our technique, we study two different applications of object behavior models: Mining Specifications Many existing verification techniques are difficult to apply because in practice the necessary specifications are missing.
Wie im eto QM Handbuch werden die einzelnen Dokumente in einer Kapitelstruktur verwaltet, wobei hier jedoch zusätzlich nach Funktionsprüfung und Programmverifikation unterschieden werden kann.
As in eto QM Manual, the documents are managed in a chapter structure. Here however, the top level may distinguish between Functional Test and Programme Verification.
Obwohl es schon jahrzehntelang Programmverifikation gibt, wird die Verifikation eines kompletten Computersystems auch heute noch als eine große Herausforderung angesehen.
Though program verification is known and used since decades, the verification of a complete computer system still remains a grand challenge.
Dazu gehört die Forschung zu Aspekten der modellgetriebenen Softwareentwicklung, der parallelen Programmierung und der Programmverifikation ebenso wie die Lehre und der Transfer moderner Techniken der agilen Softwareentwicklung, des Requirements Engineering und des Softwaretestens.
The group conducts research on several aspects of model-driven development, parallel programming and automated verification, and is engaged in the teaching and transfer of modern methods in agile software development, requirements engineering and software testing.
