Tell a friend
Print
Ertel, Jessica (2017) Verifikation von SPS-Programmen mit Kleene-Algebra. Master's, Universität Augsburg.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Only accessible within DLR
603kB |
![[img]](https://elib.dlr.de/style/images/fileicons/other.png) |
Other (zip-Archiv eines KIV-Projektes)
- Only accessible within DLR
5MB |
Abstract
Das Verhalten von SPS-Programmen wird mittels eines Ausdrucks in Kleene-Algebra modelliert. Im interaktiven Beweissystem KIV wurden LTL-Formeln über diesen Ausdrücken verifiziert, um das gewünschte Verhalten eines Systems, hier einer Ampelsteuerung, zu beweisen.
| Item URL in elib: | https://elib.dlr.de/116046/ | ||||||
|---|---|---|---|---|---|---|---|
| Document Type: | Thesis (Master's) | ||||||
| Title: | Verifikation von SPS-Programmen mit Kleene-Algebra | ||||||
| Authors: |
| ||||||
| Date: | 2017 | ||||||
| Refereed publication: | No | ||||||
| Open Access: | No | ||||||
| Gold Open Access: | No | ||||||
| In SCOPUS: | No | ||||||
| In ISI Web of Science: | No | ||||||
| Number of Pages: | 61 | ||||||
| Status: | Unpublished | ||||||
| Keywords: | Programmverifikation, Kleene Algebra, SPS | ||||||
| Institution: | Universität Augsburg | ||||||
| Department: | Fakultät für angewandte Informatik | ||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||
| HGF - Program: | Aeronautics | ||||||
| HGF - Program Themes: | other | ||||||
| DLR - Research area: | Aeronautics | ||||||
| DLR - Program: | L - no assignment | ||||||
| DLR - Research theme (Project): | L - no assignment | ||||||
| Location: | Augsburg | ||||||
| Institutes and Institutions: | Institute of Structures and Design > Automation and Production Technology | ||||||
| Deposited By: | Glück, Dr. Roland | ||||||
| Deposited On: | 11 Dec 2017 12:06 | ||||||
| Last Modified: | 22 Jan 2021 21:10 |
Repository Staff Only: item control page
