Microsoft Terminator
Encyclopedia
Terminator, a research project at Microsoft Research
is an automated program analyzer that aims to prove whether a program will run infinitely. It supports nested loops and recursive functions, pointers and side-effects, and function-pointers as well as concurrent programs. The project does not aim to solve the halting problem
; merely to "work 99.9 percent of the time on programs written by humans".
Microsoft Research
Microsoft Research is the research division of Microsoft created in 1991 for developing various computer science ideas and integrating them into Microsoft products. It currently employs Turing Award winners C.A.R. Hoare, Butler Lampson, and Charles P...
is an automated program analyzer that aims to prove whether a program will run infinitely. It supports nested loops and recursive functions, pointers and side-effects, and function-pointers as well as concurrent programs. The project does not aim to solve the halting problem
Halting problem
In computability theory, the halting problem can be stated as follows: Given a description of a computer program, decide whether the program finishes running or continues to run forever...
; merely to "work 99.9 percent of the time on programs written by humans".