Formal specification and verification of hardware, especially for security and privacy.
No reviews for this project.