- Dozent/in: SchönenbergerAndreas
campUAS
搜索结果: 7238
- Dozent/in: SchönenbergerAndreas
Dear students,
I will use the first meeting on Thursday Oct 16th to align on the topics.
Prior starting with the presentation, listen to both TedTalks:
(610) How to avoid death By PowerPoint | David JP Phillips | TEDxStockholmSalon - YouTube
Best regards,
Torsten Schönfelder
- Dozent/in: SchönfelderTorsten
Dear students,
as testing in general has been covered within the bachelor, the lecture on ‘Advanced Testing’ will focus on the next level of testing.
The lecture will elaborate on reasons to test in contrast reasons not to test, on testing within Agile projects (incl. DecOps) and ROI considerations. Due to current movements, we will discuss the usage of AI as well.
This lecture will include practical parts as well using Python.
Best regards,
Torsten Schönfelder
- Dozent/in: SchönfelderTorsten
- Dozent/in: AnderssonChristina
- Dozent/in: SchorrRuth
- Dozent/in: SchorrRuth
Neural Network Verification
Modeling, Validation and Verification of Digital Twins
Incorrectness Logic
Modeling, Validation and Verification of Digital Twins
Incorrectness Logic
- Dozent/in: SchorrRuth
Modelling of Concurrent Systems with PROMELA
This course focuses on the modeling of reactive concurrent systems using finite state machines. Finite state machines are used for model checking which is a prominent verification technique that has emerged in the last thirty years. Model checking checks whether a model of a given system (specified using transition systems) satisfies properties such as deadlock freedom, invariants or starvation freedom. SPIN is a model checker used to teach concurrency and is applied in industry. PROMELA is the language used for writing system models in SPIN. The SPIN tool has been used for verifying a broad range of different systems in industry like operating systems, communication systems and railway signaling systems.
- Dozent/in: SchorrRuth
- Dozent/in: SchorrRuth