Slashdot读者McGruber写道:“卡内基梅隆大学计算机科学荣誉学位FORE系统教授Edmund M. Clarke死于Covid-19。” 匹兹堡邮报(Pittsburgh Post-Gazette)的文章:克拉克教授以其模型检查工作而闻名,该模型检查是一种自动检测d ...