GitHub repository: CertiKProject/ultimate
Primary language: Java
Description: The Ultimate program analysis framework.