Strong Pseudoprimes & Miller-Rabin primality test.

What is the “Strong Pseudoprime”?

https://en.wikipedia.org/wiki/Strong_pseudoprime
http://mathworld.wolfram.com/StrongPseudoprime.html

https://www.saylor.org/site/wp-content/uploads/2012/07/Strong-pseudoprime.pdf
What is Miller-Rabin primality test?

http://mathworld.wolfram.com/Rabin-MillerStrongPseudoprimeTest.html
https://en.wikipedia.org/wiki/Miller%E2%80%93Rabin_primality_test

Deterministic Variant of Miller-Rabin Algorithm:
https://github.com/Abdullahalabd/algorithms-lib/blob/master/Miller%E2%80%93Rabin.cpp
The theoretical part of the algorithm above is mentioned in Wikipedia  here.