silveroak
Formal specification and verification of hardware, especially for security and privacy.
Archived
124 stars
16 watching
20 forks
Language: Coq
last commit: over 2 years ago coqformal-verificationhardware
silveroak Formal specification and verification of hardware, especially for security and privacy.