GitHub repository: ulicskagergo/theta
Description: Generic, modular and configurable formal verification framework supporting various formalisms and algorithms