[SystemSafety] Review Paper "Formal Methods in Industry"

[Prof. Dr. Peter Bernard Ladkin]

I am on ResearchGate (along with some of my papers) and it told me on Monday about a paper accepted 
for Formal Aspects of Computing with the above title, with a host of coauthors, including Rod 
Chapman and Martyn Thomas from this list.

I just read it and found it an interesting and potentially useful survey (of course it doesn't 
pretend to be complete). Some of the applications I know about; some I did not. It is available to 
download open-access from http://dx.doi.org/10.1145/3689374

PBL

Prof. Dr. Peter Bernard Ladkin
Causalis Limited/Causalis IngenieurGmbH, Bielefeld, Germany
Tel: +49 (0)521 3 29 31 00