[FRIAM] Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors - News - Carnegie Mellon University

[Frank Wimberly]

https://www.cmu.edu/news/stories/archives/2020/december/obituary-ed-clarke.html?fbclid=IwAR2ZITw4mPMaZRMzQ0JDOMln-A_Fw-bkM646F6TUzwZ_s4bkeLiqz9Hk18Y

I attended many meetings with Ed when we both worked on the Spice Project.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20201226/f22a64e7/attachment.html>