New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add support to Termination Analysis #38

Open

hbgit opened this issue May 31, 2020 · 0 comments

Assignees

Labels

enhancement help wanted

Projects

Owner

hbgit commented May 31, 2020

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.

hbgit added enhancement help wanted labels

hbgit self-assigned this

hbgit added this to In progress in Next Steps

hbgit moved this from In progress to To do in Next Steps

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment