Semi-Formal Verification of Embedded Linux Systems Using Trace-Based Models
Author: | Benno Bielmeier, Wolfgang MauererORCiDGND |
---|---|
URL / DOI: | https://www.lfdr.de/Publications/2022/bielmeier_ossj22.pdf |
URL / DOI: | https://www.youtube.com/watch?v=w42ab8-CH1o |
Parent Title (English): | Semi-Formal Verification of Embedded Linux Systems Using Trace-Based Models |
Document Type: | conference proceeding (presentation, abstract) |
Language: | English |
Year of first Publication: | 2023 |
Release Date: | 2023/10/31 |
Institutes: | Fakultät Informatik und Mathematik |
Fakultät Informatik und Mathematik / Labor für Digitalisierung (LFD) | |
research focus: | Digitalisierung |