Superscience: Testen en formele methoden vullen elkaar prima aan