Microsoft Terminator
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".[1]
References
External links
|
|
|
| Main projects |
|
Languages and compilers
|
|
|
|
|
|
|
|
|
|
|
|
Other projects
|
|
|
|
|
|
|
|
|
|
|
|
Launched as products
|
|
|
|
Applied research
from MSR Labs |
|
|