[SystemSafety] Accessible Formal Methods

[Nick Tudor]

You may like to see an extract from a report on a ‘steam boiler’ exemplar
which can be found at:
https://www.drisq.com/case-study-steam-boiler-exemplar

There are some metrics and some possible certification claims. Enjoy.

Nick Tudor
Tudor Associates Ltd
Mobile: +44(0)7412 074654
www.tudorassoc.com

*77 Barnards Green Road*
*Malvern*
*Worcestershire*
*WR14 3LR*
*Company No. 07642673*
*VAT No:116495996*

*www.aeronautique-associates.com <http://www.aeronautique-associates.com>*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/pipermail/systemsafety/attachments/20240804/4d81d9d8/attachment.html>