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