Formal Manufacturing