Auflistung nach Schlagwort "reference nets"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- WorkshopbeitragSMT Solvers – A PromisingWay for Verifying User Interfaces?(Mensch und Computer 2022 - Workshopband, 2022) Bruchertseifer, Jens; Weyers, BenjaminEvaluating 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.