Ed Clarke Wins the Turing Award (model checking)http://www.csdhead.cs.cmu.edu/blog/2008/02/04/ed-clarke-wins-the-turing-award/# by ashu • 18 years ago 4 0 18 years agoCScsdhead.cs.cmu.edu