Heike Wehrheim

Une nouvelle méthode simplifie la vérification des programmes concurrents à travers différents modèles de mémoire.

Explore des méthodes efficaces pour vérifier des logiciels complexes en utilisant l'analyse de programmes à plages.