Edmund Melson Clarke, Creator of Model Checking, Dies at 75 IEEE Spectrum, 11 Jan 2021 IEEE also mourns the loss of F.C. Kohli, India’s ‘Father of IT Industry,’ and others Edmund Melson Clarke Model-checking…