Niner since 2007
I had the same question and then found these links, which have pointers to papers:http://research.microsoft.com/~bycookhttp://research.microsoft.com/terminator
Comments
Byron Cook: Terminator - Proving Good Things Will Eventually Happen
I had the same question and then found these links, which have pointers to papers:
http://research.microsoft.com/~bycook
http://research.microsoft.com/terminator