Verifies the linearizability of experimentally accessible histories. - View it on GitHub