A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Metamathematics for Systems Design
2017
New generation computing
This position paper describes the context, the goal, the strategy and the tactics of the ERATO MMSD project (2016-2022. The project aims at enhanced quality assurance measures for industry products like cars. In doing so, we follow a recent trend and exploit formal methods, a body of mathematical techniques originally developed for computer systems. However, there are fundamental gaps in application of formal methods to industry products: additional concerns in industry products such as
doi:10.1007/s00354-017-0023-1
fatcat:pw6byl77njf2boltl4qbjdh3ba