PrototypeCommune
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.
- Propriétaire
- ElNiak (compte personnel)
- Étoiles
- Étoiles : 206
- Forks
- Forks : 19
- Langage
- Sans langage
- Licence
- CC0-1.0
- Création
- 2024
- Sujets
- awesomeawesome-listawesome-resourcesformal-languagesformal-methodsformal-specificationformal-verificationhardware-verificationmodelmodel-checking
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de ElNiak
Les 2 dépôts de ElNiak- ElNiak/awesome-ai-cybersecurityÉtoiles : 164Prototype