GitHub repository: terrorizer1980/halting-analysis
Description: Halting analysis algorithm