model (cargo): model-based testing for data structures, with linearizability checking
Keywords: testing|model-checking|deterministic|simulation