Similar presentations

2 Goal Prove termination of a programProgram terminates if all loops terminateHard problem, undecidable in generalNeed to exploit all available information

3 Tests Previous techniques are static Tests have previously been usedTests are a neglected source of informationTests have previously been usedSafety properties, empirical complexity, …This work, use tests for termination proofs