Formal verification is the attempt to give a mathematical proof that the design of a computer system is a correct implementation of its specification. This effort raises questions about what ‘proof’ is. Two main conceptions — formal proof and rigorous argument — are identified, and it is...

Experiments play a crucial role in contemporary policy-making, yet their political and epistemological dimensions have been neglected in studies of regulatory practice. This article offers an initial examination of the uses of experiments in regulation. It analyses two examples: the partial...