GitHub repository: pSpaces/Programming-with-Spaces
Primary language: Promela
Description: Getting started, manuals and tutorials