Thomas Wies

Dieser Artikel behandelt die Verifikation von lockfreien Skiplists in parallelen Systemen.

Neue Techniken verbessern die Überprüfung komplexer Computerprogramme für zuverlässige Leistung.