SSPV: Satisfiability Solvers and Program Verification

What does SSPV mean? The above is one of SSPV meanings. It may have other definitions. Please refer to the end of this passage.

Definition in English: Satisfiability Solvers and Program Verification