GitHub repository: samuelgruetter/silveroak
Description: Formal specification and verification of hardware, especially for security and privacy.