>http://research.microsoft.com/specsharp/
>
>Anyone know anything about it?

Nothing till you provided the link.
And still not the answer to the most important question: Why is the code verifier called Boogie ? :-}

Seems like it has been around for a couple of years tho