fine
by Microsoft Research
Does this functional program meet its specification?
Ask fine!
module Hello (* Verification in Fine is based on "refinement types". An example of a refinement type is {x:string | x="hello"} This is the type of the string "hello" But, "hello" also has the type string, as usual. *) let hello:{x:string | x="hello"} = "not hello" end
home
video
permalink
More samples
append
appendbad
higherorder
accesscontrol
About Fine - End-to-End Verification of Security Policy Enforcement
Fine is a new programming languges (similar to F#) whose type system can be used to check that rich, stateful authorization and information flow policies are properly enforced.
home
tutorials
project map
live
developer
about
© 2012 Microsoft Corporation -
terms of use
-
privacy