Caminati, Marco B; Kerber, Manfred; Lange, Christoph; … - Department of Economics, University of Birmingham - 2015
We introduce 'formal methods' of mechanized reasoning from computer science to address two problems in auction design and practice: is a given auction design soundly specified, possessing its intended properties; and, is the design faithfully implemented when actually run? Failure on either...