Recognition of Real-World State-Based Synchronization
| dc.contributor.author | Wittiger, Martin | |
| dc.contributor.author | Felden, Timm | |
| dc.date.accessioned | 2023-03-13T11:00:08Z | |
| dc.date.available | 2023-03-13T11:00:08Z | |
| dc.date.issued | 2015 | |
| dc.description.abstract | In the real world, safety-critical embedded systems use state-based synchronization to avoid data races. Using constraint solving to tackle state, we have improved upon existing static data race analysis. | en |
| dc.identifier.pissn | 0720-8928 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/40810 | |
| dc.language.iso | en | |
| dc.publisher | Geselllschaft für Informatik e.V. | |
| dc.relation.ispartof | Softwaretechnik-Trends Band 35, Heft 2 | |
| dc.title | Recognition of Real-World State-Based Synchronization | en |
| dc.type | Text/Journal Article | |
| gi.citation.publisherPlace | Bonn | |
| gi.conference.sessiontitle | Berichte aus den Fachgruppen und Arbeitskreisen - FG SRE: Bericht und Beiträge vom 17. Workshop "Software-Reengineering und -Evolution" der GI-Fachgruppe Software-Reengineering, 04.-06. Mai 2015 in Bad Honnef |
Dateien
Originalbündel
1 - 1 von 1