A fast linearizability checker written in Go π
Home Page:http://www.anishathalye.com/2017/06/04/testing-distributed-systems-for-linearizability/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool