Formal specification and verification of hardware, especially for security and privacy.
Primary LanguageHaskellApache License 2.0Apache-2.0