Viorica Sofronie-Stokkermans <sofronie@uni-koblenz.de>
Time and place:
News
(latest news first)
Infos on slides/meetings
Exam:
- 1. Termin:
7.03.2022, 10:00-12:00, Room: M201 (written exam, 120 min)
You are allowed to use an A4 sheet with notes you made about the lecture (written on both sides, written by you, and marked with your name)
Registration in KLIPS is possible until 28.02.2022
- 2. Termin: 19.04.2022 (written or oral exam, depending on the number of participants)
Registration in KLIPS for this exam is possible until 12.04.2022; deregistration is possible until 13.04.2022.
Contents
The goal of this lecture is to present the recent results in automated reasoning, especially decision procedures, and their applications in
verification.
Motivation
One of the most important research objectives in mathematics and computer science is to obtain means of reasoning in and about complex systems.
Proving properties of such systems is extremely important. In safety-critical systems even small mistakes can provoke disasters.
Since the amount of data which has to be handled in all the application domains mentioned above is usually huge, computer support is necessary.
General-purpose programs for solving all types of problems mentioned above do not exist. However, for concrete application domains automatic
procedures exist.
The goal of this lecture is to present specific domains in computer science (with an emphasis on verification) for which
efficient
methods for automated reasoning exist.