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

The Surface family of devices

Surface devices

Original by design

Person using Power BI Desktop

Power BI

Transform data into actionable insights with dashboards and reports

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.