Sharon Shoham

Une nouvelle approche pour simplifier la fusion des états et améliorer l'analyse des programmes.

Cet article présente des techniques efficaces pour utiliser la logique du premier ordre dans la vérification des systèmes.

Une nouvelle méthode améliore la vérification des propriétés de sécurité dans des instances finies.

Une nouvelle approche pour vérifier le comportement des systèmes en utilisant des classements implicites.