GitHub repository: yanntm/ltsmin
Primary language: C
Description: The LTSmin model checking toolset