Linearizability checking

The practice of recording the concurrent operations clients issued against a store and searching for a sequential ordering consistent with real time, used to detect consistency violations in distributed systems.