AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems
Z3: An Efficient SMT Solver