A Novel Approach to Efficiently Verify Sequential Consistency in Concurrent Programs

A Novel Approach to Efficiently Verify Sequential Consistency in Concurrent Programs

Verifying sequential consistency (SC) in concurrent programs is computationally challenging due to the exponential growth of possible interleavings among read and write operations. Many of these interleavings produce identical outcomes, rendering exhaustive verification approaches inefficient and co...

Full description

Saved in:
Bibliographic Details
Main Authors: Mohammed H. Abdulwahhab, Parosh Aziz Abdulla, Karwan Jacksi
Format: Article
Language:English
Published: MDPI AG 2025-03-01
Series:Computers
Subjects:
sequential consistency
memory model
concurrent program
verification
Online Access:https://www.mdpi.com/2073-431X/14/3/110
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://www.mdpi.com/2073-431X/14/3/110

Similar Items