Computational Auditing

Code inspection, numerical verification, test harnesses, negative controls, and checks of machine-generated scientific claims.