Use of Formal Methods by a Silicon Manufacturer (1988) [pdf] | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Use of Formal Methods by a Silicon Manufacturer (1988) [pdf] (bris.ac.uk)
		11 points by todsacerdoti on July 14, 2024 \| hide \| past \| favorite \| 1 comment

dallas on July 15, 2024 | [–]

Thanks for posting this! I have very fond memories working with/under various ex-INMOS folks including the author while at XMOS. I also read Gries at University :-)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact