formal-verification
Dépôts open source suivis étiquetés formal-verification, triés par étoiles.
Sujets associés
Sujets qui apparaissent souvent aux côtés de formal-verification sur un même dépôt.
Ascensions récentes
Dépôts créés au cours des 90 derniers jours et étiquetés formal-verification.
Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.
- #1★ 3 673+3Évolution des étoiles sur les 7 derniers jours
- #2★ 1 836+0Évolution des étoiles sur les 7 derniers jours
- #3★ 1 836+2Évolution des étoiles sur les 7 derniers jours
- #4
Un vérificateur statique pour Rust, basé sur l'infrastructure de vérification Viper.
★ 1 809+2Évolution des étoiles sur les 7 derniers jours - #5★ 1 190+2Évolution des étoiles sur les 7 derniers jours
- #6
Outil de vérification formelle pour Rust : vérifiez 100 % des cas d'exécution de vos programmes pour des applications plus sûres.
★ 1 161+0Évolution des étoiles sur les 7 derniers jours - #7★ 948+19Évolution des étoiles sur les 7 derniers jours
- #8
Un langage de preuve à typage dépendant conçu pour permettre aux ingénieurs logiciels de créer du code bare metal prouvé correct.
★ 835+0Évolution des étoiles sur les 7 derniers jours - #9
CreuSAT - Un solveur SAT formellement vérifié, écrit en Rust et vérifié avec Creusot.
★ 698+2Évolution des étoiles sur les 7 derniers jours - #10
Pare-feu de conséquence pour les actions machines. EMILIA Gate vérifie l'autorité exacte avant tout changement d'état financier, de code, de permissions, d'infrastructure ou réglementaire ; le protocole ouvert rend les preuves vérifiables indépendamment.
★ 650-29Évolution des étoiles sur les 7 derniers jours - #11
Une liste d'outils et de frameworks de vérification matérielle libres et open source
★ 622+1Évolution des étoiles sur les 7 derniers jours - #12
Une liste soigneusement sélectionnée d'entreprises utilisant des méthodes formelles de vérification dans l'industrie
★ 610+1Évolution des étoiles sur les 7 derniers jours - #13★ 508+1Évolution des étoiles sur les 7 derniers jours
