Does this functional program meet its specification?
'►' shortcut: Alt+B
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.
Privacy & Cookies
| © 2020 Microsoft