2 Matching Annotations
  1. Aug 2020
  2. Mar 2019
  3. fldit-www.cs.uni-dortmund.de fldit-www.cs.uni-dortmund.de
    1. Eine beliebte Klassifizierung dynamischer Eigenschaften liefert die Unterscheidung inSicherheitsbedin-gungen(safety conditions) auf der eine Seite undLebendigkeitsbedingungen(liveness conditions) auf deranderen Seite. Nach [14], S. 94, schließt eine Sicherheitsbedingung das Auftreten von etwas Schlechtem aus, wäh-rend eine Lebendigkeitsbedingung das Auftreten von etwas Gutem garantiert. E