GitHub repository: lip6/ITSTools
Primary language: Python
Description: A multi-formalism, multi-solution model-checker centered on the language GAL