CSPM-cspm (hackage): cspm is a small command line tool for analyzing CSPM specifications.
Keywords: bsd3|concurrency|formal-methods|language|library|program