Publication | Closed Access
Proving program termination
128
Citations
27
References
2011
Year
Program CheckingEngineeringProgram AnalysisAutomated ReasoningSoftware TestingVerificationFormal MethodsSoftware AnalysisProof TheoryComputer ScienceProgram DerivationPopular BeliefFormal VerificationProgram TerminationSymbolic Execution
In contrast to popular belief, proving termination is not always impossible.
| Year | Citations | |
|---|---|---|
Page 1
Page 1