Arie Gurfinkel

Neues Eigentumsmodell verbessert das Speichermanagement und die Verifikation in Low-Level-Sprachen.

vMocks vereinfacht die formale Verifizierung und verbessert die Sicherheit und Zuverlässigkeit von Software.