[SystemSafety] Program Specification

Michael Jackson jacksonma at acm.org
Thu Oct 29 11:12:32 CET 2020

Martyn, Olwen, Peter, Bev and Brian, 

Having ceased---rather than resolved---a discussion of the idea of correctness in cyber-physical systems, I thought I might send you a recent post from my blog. 

Best wishes,

-- Michael

my blog: www.theworldandthemachine.com

This post: https://www.theworldandthemachine.com/2020/10/program-specification.html

More information about the systemsafety mailing list