GitHub repository: lip6/ITS-LTL
Primary language: C++
Description: ITS tools and SPOT combine to provide symbolic model-checking of LTL