Static Driver Verifier, one of the early flagship projects for F#! http://blogs.msdn.com/b/dsyme/archive/2007/09/19/f-ocaml-job-at-microsoft-static-driver-veri

Static Driver Verifier, one of the early flagship projects for F#! http://blogs.msdn.com/b/dsyme/archive/2007/09/19/f-ocaml-job-at-microsoft-static-driver-verifier-and-prefast-for-drivers.aspx?Redirected=true http://blogs.msdn.com/b/dsyme/archive/2007/09/19/f-ocaml-job... http://msdn.microsoft.com/en-us/library/ff552808.aspx http://msdn.microsoft.com/en-us/library/ff552808.aspx