Microsoft Terminator
From Wikipedia, the free encyclopedia
Terminator, a research project at Microsoft Research is an automated program analyzer that aims to prove whether a program will hang or not. It supports nested loops and recursive functions, pointers and side-effects, and function-pointers as well as concurrent programs.
[edit] External links
|
|||||||||||||||||||||||
