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

Posted by Frank Wimberly-2 on Dec 26, 2020; 10:36pm
URL: http://friam.383.s1.nabble.com/Edmund-Clarke-Pioneered-Methods-For-Detecting-Software-Hardware-Errors-News-Carnegie-Mellon-Universiy-tp7599936.html

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.

- .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. .
FRIAM Applied Complexity Group listserv
Zoom Fridays 9:30a-12p Mtn GMT-6  bit.ly/virtualfriam
un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com
archives: http://friam.471366.n2.nabble.com/
FRIAM-COMIC http://friam-comic.blogspot.com/