摘要:艾伦·爱默生(Ernest Allen Emerson),是Edmund Clarke在哈佛大学的博士生。著名的“模型检测”的论文就是Emerson与导师Clarke合作的。Emerson是从德州奥斯丁[阅读全文]