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: 26 days 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 (over 10 years ago)
• Default Branch: dev
• Last Pushed: 2026-01-10T18:55:02.000Z (about 1 month ago)
• Last Synced: 2026-01-11T05:36:11.928Z (about 1 month ago)
• Topics: automata, ltl, model-checking, program-analysis, reachability, software-analysis, termination
• Language: Java
• Homepage: https://ultimate-pa.org/
• Size: 984 MB
• Stars: 237
• Watchers: 26
• Forks: 48
• Open Issues: 217
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

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