Software Development
Termination Analyzer
Prove termination of algorithms and programs using ranking functions and well-founded orderings
- Publisher / source
- a5c-ai/babysitter (found on GitHub top repositories)
- Upstream record
- a5c-ai/babysitter
- Version
- Version 1
- Published
- Publication review
- Approved for publication · recorded passed scan 2026-11-07
- Content fingerprint
6078761f0a0cd27f4328e3c2edbb3741aedad5d3c97957531b09a6b912025593