Anfonwch hwn fel neges destun: Race analysis for systemC using model checking