A Novel Approach to Efficiently Verify Sequential Consistency in Concurrent Programs. - Mohammed H. Abdulwahhab; Parosh Aziz Abdulla; Karwan Jacksi (Comput., 2025)