Get the latest tech news
Mike Gordon and hardware verification (2023)
hardware verification[ MJC Gordon verification HOL system Stanford ] higher-order logic In the late 1960s, breakthrough papers by Robert W Floyd and Tony Hoare seemed to herald the advent of fully-verified software. Progress soon slowed however.
None
Or read this on Hacker News