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 9 years ago)
• Default Branch: dev
• Last Pushed: 2024-04-16T11:57:42.000Z (7 months ago)
• Last Synced: 2024-04-17T07:53:19.605Z (7 months ago)
• Topics: automata, ltl, model-checking, program-analysis, reachability, software-analysis, termination
• Language: Java
• Homepage: https://ultimate.informatik.uni-freiburg.de
• Size: 818 MB
• Stars: 182
• Watchers: 33
• Forks: 40
• Open Issues: 214
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

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