A
Ahmed Reziney
Researcher at Linköping University
Publications - 1
Citations - 1
Ahmed Reziney is an academic researcher from Linköping University. The author has contributed to research in topics: Write-once & Model checking. The author has an hindex of 1, co-authored 1 publications receiving 1 citations.
Papers
More filters
Proceedings ArticleDOI
Verification of cache coherence protocols wrt. trace filters
TL;DR: It is shown that the verification of coherence for parameterized cache protocols with filters can be reduced to systems with only a finite number of cache lines, and the method is implemented and used to verify transactional memory coherence protocols with respect to different conflict resolution policies.