https://github.com/ultimate-pa/ultimate

The Ultimate program analysis framework.
https://github.com/ultimate-pa/ultimate

automata ltl model-checking program-analysis reachability software-analysis termination

Last synced: 3 months ago
JSON representation

The Ultimate program analysis framework.

• Host: GitHub
• URL: https://github.com/ultimate-pa/ultimate
• Owner: ultimate-pa
• Created: 2015-09-10T17:37:47.000Z (about 10 years ago)
• Default Branch: dev
• Last Pushed: 2025-07-07T19:50:12.000Z (3 months ago)
• Last Synced: 2025-07-07T22:06:53.922Z (3 months ago)
• Topics: automata, ltl, model-checking, program-analysis, reachability, software-analysis, termination
• Language: Java
• Homepage: https://ultimate-pa.org/
• Size: 876 MB
• Stars: 221
• Watchers: 29
• Forks: 46
• Open Issues: 211
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• awesome-hacking-lists - ultimate-pa/ultimate - The Ultimate program analysis framework. (Java)
• awesome-java - Ultimate