>
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