Do you know of any equivalent of Microsoft Application Verifier for managed applications?
Thanks!
It turns out that there are cases where this functionality is required for managed code.
Unfortunately I'm in one of those situations right now.
Have a look at Microsoft Research CHESS: http://research.microsoft.com/en-us/projects/CHESS/
And the Channel 9 video demo, the developers of the tool mention that the behaviour of the tool is very similar to appverifier and that it can test managed code: http://channel9.msdn.com/shows/Going+Deep/CHESS-An-Automated-Concurrency-Testing-Tool/
Download from: http://research.microsoft.com/en-us/downloads/b23f8dc3-bb73-498f-bd85-1de121672e69/