# 03. Übungsblatt

## Gruppe

1. Name:  
2. Name: 
3. Name:

## Aufgabe 3.1: Safety/Liveness (Hyper-)Properties

Zuordnung der Eigenschaften (SP - Safety Property, LP - Lifeness Property, SH - Safety Hyperproperty, LH - Lifeness Hyperproperty), jeweils mit kurzer Begründung (ein Satz):

* (1)  
* (2)
* (3)
* (4)
* (5)

## Aufgabe 3.2: Wäsche Waschen 

### 3.2.1 Zustandsautomat 

### 3.2.2 Eigenschaften

* Safety Property:

* Liveness Property: 

* Safety Hyperproperty: 

* Liveness Hyperproperty: