Arie Gurfinkel

Btor2MLIR propose une chaîne d'outils flexible pour une vérification matérielle efficace.

2025-09-25T23:06:54+00:00 ― 7 min lire

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

2025-07-01T02:49:54+00:00 ― 10 min lire

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

2025-06-10T04:47:12+00:00 ― 7 min lire