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