Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

PrototypeCommune

PL-ML/code2inv

Code2Inv: Learning Loop Invariants for Program Verification

Propriétaire: PL-ML (organisation)
Étoiles: Étoiles : 106
Forks: Forks : 23
Langage: SMT
Licence: Aucune
Création: 2018
Sujets: program-verificationgraph-neural-loop-invariant-generation
Rang: Prototype (100 à 249 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts SMT

Tous les dépôts SMT

CyZooNiC/cyberdeckÉtoiles : 138SMTPrototype
eclsnowman/Eustathios-Spider-V2Étoiles : 112SMTPrototype
uuverifiers/eldaricaÉtoiles : 111SMTPrototype