Termination Analysis
Add support to verify the category Termination-MainControlFlow on SV-COMP that contains programs for which termination should be decided.
I suggest you check out the follows paper:
- T2: Temporal Property Verification
- Termination-Checking for LLVM Peephole Optimizations
- Termination Analysis of C Programs Using Compiler Intermediate Languages
Also suggest you to check SeaHorn tool.
Termination Analysis
Add support to verify the category Termination-MainControlFlow on SV-COMP that contains programs for which termination should be decided.
I suggest you check out the follows paper:
Also suggest you to check SeaHorn tool.