The product family consists of Polyspace Code Prover and Polyspace Bug Finder.
Polyspace產品系列也包括了Polyspace Code Prover及Polyspace Bug Finder。