Top ten ways to make formal methods for HPC practical