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.

Download Details File Name: fstar-0.4.2-alpha.zip Version: 0.4.2-alpha Date Published: 23 January 2012 Download Size: 19.59 MB

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