4 ms·Edmund Clarke, Turing Award winner for model checking, passes away2 points by gandalfgeek 6y ago