Sujet · formal-methods
formal-methods
Dépôts open source suivis étiquetés formal-methods, triés par étoiles.
Dépôts
10
Total d'étoiles
21 663
Étoiles en moyenne
2 166
Part
0,00%
Sujets associés
Sujets qui apparaissent souvent aux côtés de formal-methods 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-methods.
Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.
- #1★ 9 080+1Évolution des étoiles sur les 7 derniers jours
- #2★ 3 673+3Évolution des étoiles sur les 7 derniers jours
- #3★ 1 836+0Évolution des étoiles sur les 7 derniers jours
- #4★ 1 836+2Évolution des étoiles sur les 7 derniers jours
- #5
Un langage de spécification exécutable avec des outils performants basés sur la logique temporelle des actions (TLA).
★ 1 654+12Évolution des étoiles sur les 7 derniers jours - #6★ 948+19Évolution des étoiles sur les 7 derniers jours
- #7
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 - #8
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 - #9
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 - #10★ 508+1Évolution des étoiles sur les 7 derniers jours
