A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Behaviour Analysis and Safety Conditions: a Case Study in CML
1997
DAIMI Report Series
We describe a case study where novel program analysis technology has been used to pinpoint a subtle bug in a formally developed control program for an embedded system. The main technology amounts to first defining a process algebra (called behaviours) suited to the programming language used (in our case CML) and secondly to devise an annotated type and effect system for extracting behaviours from programs in a such a manner that an automatic inference algorithm can be developed. The case study
doi:10.7146/dpb.v26i528.7057
fatcat:wgcudvrfdbefvkfkyceh6iusfi