Version: 0.4 alpha
Size:
7.40MB
Requirements:
No special requirements
No special requirements
Price:
Free
Free
System:
Windows XP/2000/98
Windows XP/2000/98
Rating:
4.2
4.2
License:
Freeware
Freeware
microsoft office 2007 microsoft word microsoft office 2003 microsoft office 2003` microsoft word 2003 ms w microsoft bluetooth enumerator
Description - Microsoft F*
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.