You're looking for information on RocScience software and its verification process.