http://blogs.msdn.com/b/dsyme/archive/2007/10/13/position-available-research-software-developer-at-msr-cambridge.aspxSLAyer is a software analysis tool that automatically proves properties about the data-structures constructed/modified by concurrent systems-level code. Terminator is an additional componenet designed to prove termination and liveness properties. Theen-GBTelligent Evolution Platform Developer Build (Build: 5.6.50428.7875)http://blogs.msdn.com/b/dsyme/archive/2007/10/13/position-available-research-software-developer-at-msr-cambridge.aspx#5442878Sat, 13 Oct 2007 18:54:49 GMT91d46819-8472-40ad-a661-2c78acb4018c:5442878MSDN Blog Postings » Position Available: Research Software Developer at MSR Cambridge<p>PingBack from <a rel="nofollow" target="_new" href="http://msdnrss.thecoderblogs.com/2007/10/13/position-available-research-software-developer-at-msr-cambridge/">http://msdnrss.thecoderblogs.com/2007/10/13/position-available-research-software-developer-at-msr-cambridge/</a></p> <img src="http://blogs.msdn.com/aggbug.aspx?PostID=5442878" width="1" height="1">