1
$\begingroup$

Is there software that can prove the runtime complexity of given code?

Improve this question
$\endgroup$

1 Answer 1

Reset to default
1
$\begingroup$

The problem is undecidable in the worst case (halting problem), so there is no general-purpose tool that will work on all code.

There are techniques and tools that can be used in some circumstances. See, e.g., Wikipedia's article on worst-case execution time.

Improve this answer
$\endgroup$

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.