diff --git a/README.md b/README.md index aa68a71..ca5a110 100644 --- a/README.md +++ b/README.md @@ -1,11 +1,11 @@ # Porcupine [![Build Status](https://github.com/anishathalye/porcupine/workflows/CI/badge.svg)](https://github.com/anishathalye/porcupine/actions?query=workflow%3ACI) [![Go Reference](https://pkg.go.dev/badge/github.com/anishathalye/porcupine)](https://pkg.go.dev/github.com/anishathalye/porcupine) -Porcupine is a fast linearizability checker for testing the correctness of -distributed systems. It takes a sequential specification as executable Go code, -along with a concurrent history, and it determines whether the history is -linearizable with respect to the sequential specification. Porcupine also -implements a visualizer for histories and linearization points. - +Porcupine is a fast linearizability checker [used](#users) in both academia and +industry for testing the correctness of distributed systems. It takes a +sequential specification as executable Go code, along with a concurrent +history, and it determines whether the history is linearizable with respect to +the sequential specification. Porcupine also implements a visualizer for +histories and linearization points.