Wittiger, MartinFelden, Timm2023-03-132023-03-132015https://dl.gi.de/handle/20.500.12116/40810In 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.enText/Journal Article0720-8928