Siddharth Priya

Nouveau modèle de propriété améliore la gestion de la mémoire et la vérification dans les langages de bas niveau.

vMocks simplifie la vérification formelle, améliorant la sécurité et la fiabilité des logiciels.