HPCMC Software

High-level overview of the project software

The research will be 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 checkeri successfully combining several subgoals to a scalable tool capable of solving problems beyond the reach of current model checkers