Automated verification of NEST pivot points