Bruchertseifer, JensWeyers, BenjaminMarky, KarolaGrünefeld, UweKosch, Thomas2022-08-302022-08-302022https://dl.gi.de/handle/20.500.12116/39074Evaluating user interfaces of interactive applications in terms of correctness has always been a lengthy and error-prone task, as it would be executed by humans. This has led to this aspect of development being severely neglected, which poses a fundamental problem in terms of usability. In this work, we present a novel approach based on the creation of a formal representation from a given user interface, which is transformed into a reference net and finally converted into an SMT formula. As SMT formulae can be evaluated easily using highly efficient SMT solvers, this approach promises good efficiency in real-world scenarios.enformal methods in HCISMTSMT solverZ3UI modelverificationreference netsRenewFILLtransformationautomatizationText/Workshop Paper10.18420/muc2022-mci-ws06-450