Sharon Shoham

Dieser Artikel stellt effiziente Techniken vor, um die Aussage logik zur Überprüfung von Systemen zu nutzen.

Eine neue Methode verbessert die Überprüfung von Sicherheitsmerkmalen in endlichen Instanzen.

Ein neuer Ansatz zur Überprüfung des Systemverhaltens mit impliziten Rangordnungen.