Falk Howar

Thoughts about using Constraint Solvers in Action

2020 · Technische Universität Berlin – Universitätsbibliothek

SMT solvers power many automated security analysis tools today. Nevertheless, a smooth integration of SMT solvers into programs is still a challenge that lead to different approaches for doing it the right way. In this …