F*: A Verifying Compiler for ML

F* extends core-ML with a type system based on dependent refinements, higher kinds and affine types. It enables verification of higher-order stateful programs with automation via SMT solving.

Details

TypeDownload
File Namefstar-0.7.1-alpha.zip
Version0.7.1-alpha
Date Published2 September 2013
Download Size35.50 MB

Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.

Related Links