GitHub repository: twkahl/PG2HDA
Primary language: C
Description: pg2hda - a tool to compute higher-dimensional automata modeling concurrent systems written in Promela