Abstract:

We report on five case studies that we have caried out during the last years with Dutch industries. These concern the specification of consumer electronics (2x) as well as the verification of these (1x). Reverse engineering of switching units (1x), proving safety of railway control (1x) and specifying the behaviour of traffic lights. The general conclusion is that in all cases our work did exceptional well, in the sense that with relative ease we could clarify and understand the systems under consideration. Another conclusion is that the current culture in most industries is such that although the contributions of our work are acknowledged, it is not easy to make formal methods part of daily industrial design.