AlphaPeu commune
ligurio/practical-fm
A gently curated list of companies using verification formal methods in industry
- Propriétaire
- ligurio (compte personnel)
- Étoiles
- Étoiles : 615
- Forks
- Forks : 47
- Langage
- Sans langage
- Licence
- Aucune
- Création
- 2018
- Sujets
- formal-verificationformal-methodstlaplustla-specificationcoqsoftware-engineeringformal-verification-methodspractice
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de ligurio
Les 7 dépôts de ligurio- ligurio/awesome-ciÉtoiles : 4 175RC
- ligurio/sqa-wikiÉtoiles : 2 320RC
- ligurio/awesome-ttygamesÉtoiles : 1 032HTMLBêta
- ligurio/awesome-openbsdÉtoiles : 490Alpha
- ligurio/unreliablefsÉtoiles : 184CPrototype
- ligurio/swebok-2004-in-russianÉtoiles : 100MakefilePrototype