Informatique
C* unifie la programmation et la vérification en C
- Le langage C* intègre des fonctionnalités de vérification formelle.
- Cette approche combine développement et preuve de correction dans un même outil.
- Les développeurs peuvent ainsi écrire du code plus sûr et plus fiable.
Lire à la source