Automated checking that code outputs satisfy domain-specific correctness criteria defined by scientific experts.