GitHub repository: leventeBajczi/theta
Primary language: Java
Description: Generic, modular and configurable formal verification framework supporting various formalisms and algorithms