GitHub repository: lip6/ITS-CTL
Primary language: C
Description: CTL symbolic model-checker based on libDDD and libITS