Logo des Repositoriums

Auflistung nach Schlagwort "SMT"

1 - 2 von 2
  • Workshopbeitrag
    SMT Solvers – A PromisingWay for Verifying User Interfaces?
    (Mensch und Computer 2022 - Workshopband, 2022) Bruchertseifer, Jens; Weyers, Benjamin
    Evaluating 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.
  • Textdokument
    A system for SMT based constraint programming in Java
    (INFORMATIK 2017, 2017) Funk, Maurice
    This paper presents a system for constraint programming in Java using translation of JVM bytecode into SMT. This allows the constraints to be written in normal Java, to being interoperable with the rest of the program and lowers the entry barrier to using specialised solvers in applications. Due to the nature of the performed translation, variable assignments for other runtime properties than constraint satisfaction can be found. These include variable assignments that lead to runtime exceptions during normal code execution. We demonstrate that the implemented approach is able to find variable assignments for non-trivial constraints such as a Sudoku puzzle.