sentences:  While the Axivion Suite has its origins in the Bauhaus project, it today is a different product with a much broader range of static code analyses, such as MISRA checking, architecture verification, include analysis, defect detection, and clone management.It also provides IDE integrations for Eclipse and Microsoft Visual Studio not found in the academic project.The Bauhaus project was funded by the state of Baden-Württemberg, the Deutschen Forschungsgemeinschaft, the Bundesministerium für Bildung und Forschung, T-Nova Deutsche Telekom Innovationsgesellschaft Ltd., and Xerox Research.