Download Fine: A Type-Preserving Compiler for End-to-End Security Verification from Official Microsoft Download Center

Hands type on a Surface Pro 6 with Type Cover

New Surface Pro 6

Stand out from the ordinary

Fine: A Type-Preserving Compiler for End-to-End Security Verification

Important! Selecting a language below will dynamically change the complete page content to that language.

Language:
English
This is a source release of the Fine compiler and several example programs. Last published: May 28, 2010.