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: 21 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 9 years ago)
• Default Branch: dev
• Last Pushed: 2024-10-29T08:39:36.000Z (about 1 month ago)
• Last Synced: 2024-10-29T09:55:20.839Z (about 1 month ago)
• Topics: automata, ltl, model-checking, program-analysis, reachability, software-analysis, termination
• Language: Java
• Homepage: https://ultimate-pa.org/
• Size: 837 MB
• Stars: 197
• Watchers: 31
• Forks: 41
• Open Issues: 218
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

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