Be the first to like this
We develop a language for specification of engineering calculations (EnCL, previously CSL) and apply it to formalize the industrial standard EN1591 concerning gasketed circular flange connections. We furthermore present a methodology how to carry out such specified calculations using a computer algebra system. The results are verified using theorem provers connected to the Hets system. In order to do so we define an institution for EnCL.