spdy-compression,-flow,-push
Verifikation/Ereichbarkeitsanalyse
zustandsraum
Implementierung
Test