Microsoft F*

0.4 alpha

License: Freeware
Downloads: 2
Op. System: Windows XP/2000/98
Last updated: 2011-05-24
File size: 7.4 MB
Publisher: Microsoft Research
Related software:

Publisher description for Microsoft F*

Microsoft F* program icon

A Verifying Compiler for ML Programs. 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.

Add your review

User reviews