@jmw150 Hi,

random question but would you happen to have a link that you shared many months ago (possibly more than a year) in which there was a 4 volume series on formal method including a volume for verification of C programs.

Best regards,