Does anyone here have experience of these tools and methods? https://sigillogic.com/ They write good blogs: https://sigillogic.com/blog/the-slop-machine/ Martyn -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://lists.techfak.uni-bielefeld.de/pipermail/systemsafety/attachments/20260621/461f321e/attachment.html>