  Smart infrastructures uses are growing and with them the need for
dependability and correctness. To provide better correctness guarantees and
bring formal verification into the equation, we present SVSHI, a platform for
developing, verifying, and running Python applications in KNX installations,
one of the most used smart buildings standards. SVSHI leverages abstract syntax
tree (AST) manipulation, code generation, symbolic execution, and static
configuration verification to make writing advanced apps easy, quick, and safe.
With SVSHI, the reliability and compatibility of the applications are
guaranteed without foregoing users' productivity.
