Recognition of Real-World State-Based Synchronization.
Martin Wittiger, Timm Felden · 2015
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. 1