GitHub repository: nuscr/SynMPST
Primary language: OCaml
Description: A tool for handling Synthetic MPST specificifications