PrototypeCommon
ElNiak/awesome-formal-verification
Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, researchers, and enthusiasts stay updated and advance their knowledge in the field.
- Owner
- ElNiak (personal account)
- Stars
- Stars: 206
- Forks
- Forks: 19
- Language
- No language
- License
- CC0-1.0
- Created
- 2024
- Topics
- awesomeawesome-listawesome-resourcesformal-languagesformal-methodsformal-specificationformal-verificationhardware-verificationmodelmodel-checking
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by ElNiak
All 2 repos by ElNiak- ElNiak/awesome-ai-cybersecurityStars: 164Prototype