vytvorený príklad pre verifikáciu frameworku