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