F7 is an enhanced type checker for the F# programming language. F7 supports static checking of properties expressed with refinement types. Our motivation is to check various security properties of F# implementation code by typing.
Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.