2 search results - page 1 / 1 » Formal Verification of the MCS List-Based Queuing Lock |
92
Voted
ASIAN
1999
Springer
15 years 7 months ago
1999
Springer
111
Voted
CAV
2006
Springer
15 years 6 months ago
2006
Springer
We describe a formal verification of a recent concurrent list-based set algorithm due to Heller et al. The algorithm is optimistic: the add and remove operations traverse the list ...