@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,
@zpartacoos
https://softwarefoundations.cis.upenn.edu/
@jmw150 epic! Thank you!
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.
@zpartacoos
https://softwarefoundations.cis.upenn.edu/