Sharing Ed Clarke’s 2007 lecture on the origin of model checking. Yes, it includes Bud!
Ed_Clarke-The_Birth_of_Model_Checking.pdf (445.8 KB)
1 Like
Back when Bud was a student he told Ivan Sutherland about his work on hardware verification. Sutherland told him it was a fool’s errand because hardware engineers would never learn model checking. But within a few years…
1 Like
Wow! Pretty common with big ideas for most people to miss the forest for the trees