-
Embedding Rely-Guarantee Reasoning in Temporal Logic
Tofan, Bogdan ; Schellhorn, Gerhard ; Bäumler, Simon ; Reif, Wolfgang 2010 Universität Augsburg
-
Proving Linearizability with Temporal Logic
Bäumler, Simon ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard 2008 Universität Augsburg
-
Untersuchungen zur Linearisierbarkeit von AE-Sensorkennlinien am Beispiel von Reibungsvorgängen an einem Bremsmodell
Holstein, Peter ; Probst, Christian ; Savitski, Dzmitry ; Tharandt, Andreas 2016 Universitätsbibliothek Ilmenau
-
Verifying a Stack with Hazard Pointers in Temporal Logic
Tofan, Bogdan ; Schellhorn, Gerhard ; Reif, Wolfgang 2011 Universität Augsburg