GitHub repository: warmchang/porcupine-linearizability
Primary language: Go
Description: A fast linearizability checker written in Go 🔎