Porcupine, a fast linearizability checker for distributed systems in Go

2 点作者 jinqueeny超过 6 年前

1 comment

jinqueeny超过 6 年前

It implements the algorithm in "Faster linearizability checking via P-compositionality": <a href="https://arxiv.org/pdf/1504.00204.pdf" rel="nofollow">https://arxiv.org/pdf/1504.00204.pdf</a>