Formal Experimentation