The research was driven by the development of two flagship applications

• A parallel SMT solver, a general-purpose, efficient constraint solver based on the USI OpenSMT
• A cloud-based model checker successfully combining several subgoals to a scalable tool capable of solving problems beyond the reach of current model checkers