GUI, model checking, DiVinE, verifikace, komunikace
klient-server