Provable prime

A provable prime is an integer that is either constructed to be prime or is calculated to be prime using a primality-proving algorithm.

Source
Digital Signature Standard (DSS) 4 (FIPS Pub 186-3) (June 2009).