Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes
detail here: http://research.microsoft.com/apps/p....aspx?id=78035
Hope the software will not have any problem such as a PMS memory leaked and flooded every month and turn into a whining software that give annoying nagging sound from the Internal Speaker.
In the mean time, a new certified course is on its way - The Microsoft Certified Cibai Professional - MCCP
Hope Microsoft will not monopolise the software, otherwise an AntiTHRUST lawsuit is on its way.