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