Tell a friend
Print
Ertel, Jessica and Glück, Roland and möller, bernhard (2018) Algebraic derivation of Until rules and application to timer verification. In: LECTURE NOTES IN COMPUTER SCIENCE, 11194, pp. 244-262. Springer. 17th International Conference on Relational and Algebraic Methods in Computer Science, 2018-10-29 - 2018-11-01, Groningen, Niederlande. doi: 10.1007/978-3-030-02149-8_15.
Full text not available from this repository.
Official URL: https://link.springer.com/chapter/10.1007/978-3-030-02149-8_15
Abstract
Using correspondences between linear temporal logic and modal Kleene Algebra, we prove in an algebraic manner rules of linear temporal logic involving the until operator. These can be used to verify programmable logic controllers; as a case study we use a part of the control of pedestrian lights, verified with the interactive tool KIV.
| Item URL in elib: | https://elib.dlr.de/122742/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||||||||||
| Title: | Algebraic derivation of Until rules and application to timer verification | ||||||||||||||||
| Authors: |
| ||||||||||||||||
| Date: | 2018 | ||||||||||||||||
| Journal or Publication Title: | LECTURE NOTES IN COMPUTER SCIENCE | ||||||||||||||||
| Refereed publication: | Yes | ||||||||||||||||
| Open Access: | No | ||||||||||||||||
| Gold Open Access: | No | ||||||||||||||||
| In SCOPUS: | No | ||||||||||||||||
| In ISI Web of Science: | Yes | ||||||||||||||||
| Volume: | 11194 | ||||||||||||||||
| DOI: | 10.1007/978-3-030-02149-8_15 | ||||||||||||||||
| Page Range: | pp. 244-262 | ||||||||||||||||
| Editors: |
| ||||||||||||||||
| Publisher: | Springer | ||||||||||||||||
| Series Name: | Lecture Notes in Computer Science | ||||||||||||||||
| Status: | Published | ||||||||||||||||
| Keywords: | PLC Verification Kleene Algebra Timer | ||||||||||||||||
| Event Title: | 17th International Conference on Relational and Algebraic Methods in Computer Science | ||||||||||||||||
| Event Location: | Groningen, Niederlande | ||||||||||||||||
| Event Type: | international Conference | ||||||||||||||||
| Event Start Date: | 29 October 2018 | ||||||||||||||||
| Event End Date: | 1 November 2018 | ||||||||||||||||
| 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: | 15 Nov 2018 10:11 | ||||||||||||||||
| Last Modified: | 24 Apr 2024 20:26 |
Repository Staff Only: item control page
