A domain-specific language and platform for ensuring scientific claims hold during software development. A kind of superset of test-driven development that supports a wider variety of "tests."