Deadlock detection

Stephen Kellett snail at objmedia.demon.co.uk
Tue Dec 7 13:06:05 EST 2004


In message <5eb94$41b586fa$51604868$9316 at nf1.news-service-com>, Duncan 
Grisby <duncan-news at grisby.org> writes
>understood, and there are plenty of systems that do it. I just haven't
>been able to find one for Python.

There is one at http://www.softwareverify.com as I mentioned in a 
previous posting.

Stephen
-- 
Stephen Kellett
Object Media Limited    http://www.objmedia.demon.co.uk
RSI Information:        http://www.objmedia.demon.co.uk/rsi.html



More information about the Python-list mailing list