Porcupine, a fast linearizability checker for distributed systems in Go | Heykuki News