HPCMC Software

High-level overview of the project software

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