 There are several research teams that work on new methods that can show (non)termination.Many researchers include these methods into programs that try to analyze the termination behavior automatically (so without human interaction).An ongoing aspect of research is to allow the existing methods to be used to analyze termination behavior of programs written in "real world" programming languages.