| Teaching | Component | Rota | Attendance | Selfstudy | ECTS |
| lecture | Lecture: Formal Spezification and Verification | WS | 45 h (3 SWS) | 45 h | 3 CP |
| exercise | Exercises: Formal Spezification and Verification | WS | 30 h (2 SWS) | 60 h | 3 CP |
6 credit points are awarded for this module. The attendance time is 5 hours a week. Including self-study, there are about 180 hours to be spent.
| Type | compulsory module with compulsory module components (INF-B-120, INF-B-150, INF-B-180-CL, INF-B-180-MA, INF-B-180-STAT, MINF-B-180), elective module with compulsory module components (INF-LGY, INF-LRS, INF-NF-30, INF-NF-60) |
| Usability |
This module is offered in the following programmes INF-B-150: Bachelor Programme in Computer Science with 30-CP Minor Subject, INF-B-180-CL: Bachelor Programme in Computer Science plus Computer Linguistics, INF-B-180-MA: Bachelor Programme in Computer Science plus Mathematics, INF-B-180-STAT: Bachelor Programme in Computer Science plus Statistics, |
| Admission Requirements | none |
| Time during the study | 5. Semester |
| Duration | The module comprises 1 semester. |
| Grading | marked |
| Type of Examination | Klausur (90-180 Minuten) oder mündlich (15-30 Minuten) Repeatability: arbitrary, Admission Requirements: none |
| Responsible for Module | Prof. Dr. Dirk Beyer |
| Provider | Ludwig-Maximilians-University Munich Faculty for Mathematics, Computer Science and Statistics Institute for Computer Science Core Computer Science |
| Teaching Lang. | German |
| Source | Bachelor Programme Computer Science (INF-B-150) Version(2014/12/18) |
The module consists of a lecture and in addition exercises in small groups. The concepts introduced in the lecture are practiced in the exercise class with concrete examples.