ReFuncTion: Conditional Termination by Abstract Interpretation of Numerical C Programs (Competition Contribution)

Key Points

• Conditional termination is achieved through abstract interpretation techniques, enhancing programming efficiency.
• Key evidence includes the ability to verify termination in complex numerical algorithms in real-time use cases.
• Analysis leverages abstract interpretation for program verification, offering a robust framework for numerical C programs.
• Highlights potential for improved verification processes in programming, particularly in safety-critical systems.