Addition to Malpas Software Package for Identifying Errors in Safety‐Critical Software
Aircraft Engineering and Aerospace Technology · 1988
REX, Thompson & Partners, the Farnham‐based computer and engineering consultancy, have announced the full release of an important addition to their sophisticated software verification and testing package, MALPAS. This latest enhancement is an automatic translator to enable programs in the widely‐used Pascal computer language to be analysed more easily.