Implementing option-pricing models using software synthesis

By considering a simplified version of a pricing model recently implemented at Merrill Lynch, the authors demonstrate the power of software synthesis technology and examine some of the issues associated with integrating synthesized model code into a production system.