verus
Rust vérifié pour le code des systèmes de bas niveau. Plutôt que d’ajouter des contrôles d’exécution, Verus s’appuie sur de puissants solveurs pour prouver que le code est correct.
Le problème qu’il résout
Rust vérifié pour le code des systèmes de bas niveau. Plutôt que d’ajouter des contrôles d’exécution, Verus s’appuie sur de puissants solveurs pour prouver que le code est correct.
Le contexte du projet sur cette page est accessible gratuitement. Le dépôt GitHub d’origine reste la référence ; la connexion n’est nécessaire que pour enregistrer ou rejoindre la discussion.
Notes de la communauté