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