Edmund Clarke logged off Edmund Clarke, the FORE Systems Professor of Computer Science Emeritus at…