GitHub repository: ocaml-multicore/dscheck
Primary language: OCaml
Description: Experimental model checker for testing concurrent algorithms