Abstract | ||
---|---|---|
This paper describes frontiers in verification of the software barrier synchronization primitive. So far most software barrier algorithms have not been mechanically verified. We show preliminary results in automatically proving the correctness of the major software barriers. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1145/2145816.2145871 | PPOPP |
Keywords | Field | DocType |
software barrier synchronization,software barrier algorithm,preliminary result,major software barrier,client,implementation,invariant,dissemination,verification,static,central,counting,tournament | Synchronization,Programming language,Software design description,Computer science,Correctness,Software system,Software,Software construction,Software verification and validation,Software verification | Conference |
Volume | Issue | ISSN |
47 | 8 | 0362-1340 |
Citations | PageRank | References |
2 | 0.37 | 1 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alexander Malkis | 1 | 49 | 4.65 |
Anindya Banerjee | 2 | 1324 | 70.68 |